Searched refs:pd_ret (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/src/arch/arm/object/
H A Diospace.c64 lookupIOPDSlot_ret_t pd_ret = lookupIOPDSlot(iopd, io_address); local
65 if (pd_ret.status != EXCEPTION_NONE) {
71 if (!isIOPDEValid(pd_ret.iopdSlot) ||
72 iopde_ptr_get_page_size(pd_ret.iopdSlot) != iopde_iopde_pt) {
79 pt = (iopte_t *)paddr_to_pptr(iopde_iopde_pt_ptr_get_address(pd_ret.iopdSlot));
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dvspace.c711 lookupPDSlot_ret_t pd_ret; local
734 pd_ret = lookupPDSlot(find_ret.vspace_root, vptr);
735 if (pd_ret.status != EXCEPTION_NONE) {
738 pde = pd_ret.pdSlot;

Completed in 31 milliseconds