Searched defs:pamax (Results 1 – 2 of 2) sorted by relevance
3217 int pamax = arm_pamax(env_archcpu(env)); in get_phys_addr_disabled() local
2143 int pamax = arm_pamax(ARM_CPU(first_cpu)); in virt_post_cpus_gic_realized() local