Home
last modified time | relevance | path

Searched defs:top_addr_bit0 (Results 1 – 2 of 2) sorted by relevance

/aosp_15_r20/external/trusty/arm-trusted-firmware/drivers/arm/ccn/
Dccn.c452 unsigned int top_addr_bit0, in ccn_program_sys_addrmap()
/aosp_15_r20/external/arm-trusted-firmware/drivers/arm/ccn/
H A Dccn.c452 unsigned int top_addr_bit0, in ccn_program_sys_addrmap()