PSCI Driver API/interface file.
Go to the source code of this file.
Data Structures | |
| struct | PSCI_Object |
| PSCI driver object. More... | |
| struct | PSCI_Config |
| PSCI Global Configuration. More... | |
Typedefs | |
| typedef struct PSCI_Config_s * | PSCI_Handle |
| A handle that is returned from a PSCI_open() call. More... | |
Functions | |
| void | PSCI_init (void) |
| Initialize the PSCI module. More... | |
| void | PSCI_deinit (void) |
| Deinitialize the PSCI module. More... | |
| PSCI_Handle | PSCI_open (uint32_t idx) |
| Open the PSCI at index idx. More... | |
| void | PSCI_close (PSCI_Handle handle) |
| Function to close the PSCI instance specified by the handle. More... | |
| PSCI_Handle | PSCI_getHandle (uint32_t driverInstanceIndex) |
| This function returns the handle of an open PSCI Instance from the instance index. More... | |
| uint32_t | PSCI_getInitDriverIndex (void) |
| This function returns the initialised instance index. More... | |
| int32_t | PSCI_getPSCIVersion (PSCI_Handle handle, uint32_t *psciVer) |
| Get the PSCI version. More... | |
| int32_t | PSCI_cpuOff (PSCI_Handle handle) |
| Power off the calling CPU. More... | |
| int32_t | PSCI_cpuOn (PSCI_Handle handle, uint32_t cpuId, uint32_t entryPoint) |
| Power on the CPU required. More... | |
| int32_t | PSCI_systemReset (PSCI_Handle handle) |
| Cold reset of the entire system. More... | |
| int32_t | PSCI_getFeatures (PSCI_Handle handle, uint32_t functionId, uint32_t *feature) |
| Get the features of a PSCI function. More... | |