vm_phys_fictitious_unreg_range
vm_phys_fictitious_unreg_range(sc->epc_base,
vm_phys_fictitious_unreg_range(paddr, paddr + BDF_TABLE_SIZE);
vm_phys_fictitious_unreg_range(phys_addr, phys_addr + size);
void vm_phys_fictitious_unreg_range(vm_paddr_t start, vm_paddr_t end);