Searched refs:psci_mem_chk_range (Results 1 – 3 of 3) sorted by relevance
27 int psci_mem_chk_range(uintptr_t base, u_register_t length) in psci_mem_chk_range() function
415 return psci_mem_chk_range(x1, x2); in psci_smc_handler()458 return psci_mem_chk_range(x1, x2); in psci_smc_handler()
277 int psci_mem_chk_range(uintptr_t base, u_register_t length);