Symbol: l1pde_is_table
sys/arch/aarch64/aarch64/db_interface.c
355
(level == 1 && l1pde_is_table(pte)) ||
sys/arch/aarch64/aarch64/db_interface.c
592
} else if (level != 3 && l1pde_is_table(pde)) {