Symbol: l3pte_is_page
sys/arch/aarch64/aarch64/db_interface.c
388
pr(" %s", l3pte_is_page(pte) ?
sys/arch/aarch64/aarch64/db_interface.c
589
(level == 3 && l3pte_is_page(pde))) {
sys/arch/aarch64/aarch64/pmapboot.c
135
if (!l3pte_is_page(l3[idx]))