Searched defs:lpaddr (Results 1 - 8 of 8) sorted by path

/barrelfish-2018-10-04/kernel/arch/x86_32/
H A Dpaging.c292 lpaddr_t lpaddr = gen_phys_to_local_phys(X86_32_PADDR_SPACE_LIMIT - local
H A Dsyscall.c621 lpaddr_t lpaddr = gen_phys_to_local_phys(frame->u.frame.base); local
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Dsvm_vmkit.c107 lpaddr_t lpaddr = gen_phys_to_local_phys(dcb->guest_desc.ctrl.cap.u.frame.base); local
215 lpaddr_t lpaddr = gen_phys_to_local_phys(dcb->guest_desc.ctrl.cap.u.frame.base); local
H A Dsyscall.c835 lpaddr_t lpaddr = gen_phys_to_local_phys(frame->u.frame.base); local
1436 lpaddr_t lpaddr = gen_phys_to_local_phys(dcb_current->guest_desc.vmcb.cap.u.frame.base); local
H A Dvmkit.c42 lpaddr_t lpaddr = gen_phys_to_local_phys(dcb->guest_desc.ctrl.cap.u.frame.base); local
H A Dvmx_vmkit.c948 lpaddr_t lpaddr = gen_phys_to_local_phys(dcb->guest_desc.ctrl.cap.u.frame.base); local
/barrelfish-2018-10-04/kernel/
H A Dcapabilities.c442 static errval_t caps_zero_objects(enum objtype type, lpaddr_t lpaddr, argument
550 caps_create(enum objtype type, lpaddr_t lpaddr, gensize_t size, gensize_t objsize, size_t count, coreid_t owner, struct cte *dest_caps) argument
[all...]
H A Dsyscall.c57 lpaddr_t lpaddr; local

Completed in 74 milliseconds