vm_phys_fictitious_reg_range
error = vm_phys_fictitious_reg_range(sc->epc_base,
vm_phys_fictitious_reg_range(paddr, paddr + BDF_TABLE_SIZE,
error = vm_phys_fictitious_reg_range(phys_addr, phys_addr + size,
int vm_phys_fictitious_reg_range(vm_paddr_t start, vm_paddr_t end,