BDF_TABLE_SIZE
vaddr = kva_alloc((vm_size_t)BDF_TABLE_SIZE);
kva_free(vaddr, (vm_size_t)BDF_TABLE_SIZE);
vm_phys_fictitious_unreg_range(paddr, paddr + BDF_TABLE_SIZE);
_Static_assert(BDF_TABLE_SIZE >= PAGE_SIZE,
vm_page_t m[BDF_TABLE_SIZE / PAGE_SIZE];
paddr = AP_NS_SHARED_MEM_BASE + sc->acpi.segment * BDF_TABLE_SIZE;
vm_phys_fictitious_reg_range(paddr, paddr + BDF_TABLE_SIZE,