Symbol: pte_invalid_pde
sys/arch/aarch64/include/pmap_machdep.h
373
pte_invalid_pde(void)
sys/arch/riscv/include/pte.h
301
pte_invalid_pde(void)