Searched refs:bl31_check_ns_address (Results 1 – 3 of 3) sorted by relevance
94 int bl31_check_ns_address(uint64_t base, uint64_t size_in_bytes);
80 err = bl31_check_ns_address(x1, x2); in tegra_sip_handler()
358 int bl31_check_ns_address(uint64_t base, uint64_t size_in_bytes) in bl31_check_ns_address() function