Symbol: amd64_pa_used
sys/arch/amd64/amd64/mem.c
203
if (suser(p) != 0 && amd64_pa_used(off))
sys/arch/amd64/amd64/mem.c
218
!amd64_pa_used(off))
sys/arch/amd64/amd64/mem.c
226
if (off <= BIOS_END || !amd64_pa_used(off))
sys/arch/amd64/include/cpu.h
429
int amd64_pa_used(paddr_t);