Lines Matching defs:ret
547 findVSpaceForASID_ret_t ret;
554 ret.vspace_root = NULL;
555 ret.status = EXCEPTION_LOOKUP_FAULT;
556 return ret;
559 ret.vspace_root = (vspace_root_t *)asid_map_asid_map_vspace_get_vspace_root(asid_map);
560 ret.status = EXCEPTION_NONE;
561 return ret;
618 lookupPTSlot_ret_t ret;
623 ret.ptSlot = NULL;
624 ret.status = pdSlot.status;
625 return ret;
630 ret.ptSlot = NULL;
631 ret.status = EXCEPTION_LOOKUP_FAULT;
632 return ret;
642 ret.ptSlot = ptSlot;
643 ret.status = EXCEPTION_NONE;
644 return ret;
867 create_mapping_pte_return_t ret;
874 ret.status = EXCEPTION_SYSCALL_ERROR;
876 return ret;
879 ret.pte = makeUserPTE(base, attr, vmRights);
880 ret.ptSlot = lu_ret.ptSlot;
881 ret.status = EXCEPTION_NONE;
882 return ret;
896 create_mapping_pde_return_t ret;
903 ret.status = EXCEPTION_SYSCALL_ERROR;
905 return ret;
907 ret.pdSlot = lu_ret.pdSlot;
910 if ((pde_ptr_get_page_size(ret.pdSlot) == pde_pde_pt) &&
911 (pde_pde_pt_ptr_get_present(ret.pdSlot))) {
913 ret.status = EXCEPTION_SYSCALL_ERROR;
914 return ret;
918 ret.pde = makeUserPDELargePage(base, attr, vmRights);
919 ret.status = EXCEPTION_NONE;
920 return ret;