Home
last modified time | relevance | path

Searched refs:top_addr_bit1 (Results 1 – 2 of 2) sorted by relevance

/external/arm-trusted-firmware/include/drivers/arm/
Dccn.h100 unsigned int top_addr_bit1,
/external/arm-trusted-firmware/drivers/arm/ccn/
Dccn.c453 unsigned int top_addr_bit1, in ccn_program_sys_addrmap() argument
470 top_addr_bit1, in ccn_program_sys_addrmap()