Searched defs:bl31_check_ns_address (Results 1 – 2 of 2) sorted by relevance
332 int32_t bl31_check_ns_address(uint64_t base, uint64_t size_in_bytes) in bl31_check_ns_address() function
330 int32_t bl31_check_ns_address(uint64_t base, uint64_t size_in_bytes) in bl31_check_ns_address() function