GO:0042776:   mitochondrial ATP synthesis coupled proton transport
The transport of protons across a mitochondrial membrane to generate an electrochemical gradient (proton-motive force) that powers ATP synthesis.