Lines Matching refs:lu_ret
1077 lookupPDPTSlot_ret_t lu_ret;
1084 lu_ret = lookupPDPTSlot(find_ret.vspace_root, vaddr);
1085 if (lu_ret.status != EXCEPTION_NONE) {
1090 if (!(pdpte_ptr_get_page_size(lu_ret.pdptSlot) == pdpte_pdpte_pd &&
1091 pdpte_pdpte_pd_ptr_get_present(lu_ret.pdptSlot) &&
1092 (pdpte_pdpte_pd_ptr_get_pd_base_address(lu_ret.pdptSlot) == pptr_to_paddr(pd)))) {
1098 *lu_ret.pdptSlot = makeUserPDPTEInvalid();
1484 lookupPDPTSlot_ret_t lu_ret;
1486 lu_ret = lookupPDPTSlot(vspace, vaddr);
1487 if (lu_ret.status != EXCEPTION_NONE) {
1494 ret.pdptSlot = lu_ret.pdptSlot;
1627 lookupCapAndSlot_ret_t lu_ret;
1632 lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), frame_cptr);
1634 if (unlikely(lu_ret.status != EXCEPTION_NONE)) {
1641 if (cap_get_capType(lu_ret.cap) != cap_frame_cap) {
1648 frameSize = cap_frame_cap_get_capFSize(lu_ret.cap);
1657 frame_pptr = cap_frame_cap_get_capFBasePtr(lu_ret.cap);