Searched refs:rt_psci_get_version (Results 1 – 2 of 2) sorted by relevance
143 rt_uint32_t rt_psci_get_version(void);
232 rt_uint32_t rt_psci_get_version(void) in rt_psci_get_version() function369 rt_uint32_t version = rt_psci_get_version(); in psci_ofw_init()
Completed in 4 milliseconds