Searched defs:addr_high (Results 1 – 3 of 3) sorted by relevance
28 uint32_t addr_low, addr_high; in plat_secondary_setup() local
31 uint32_t addr_low, addr_high; in plat_secondary_setup() local
70 static uint32_t addr_high(uintptr_t addr __unused) in addr_high() function