Raspberry Pi power supply is provided by a switching regulator on Carberry board.
Also, there is a power mosfet that cut this supply, when the system has to be put in low power mode.