Lines Matching defs:find_ret
294 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
298 lookupPDSlot(find_ret.vspace_root, vptr).pdSlot, GET_PD_INDEX(vptr), (long unsigned int)asid);
300 printf("pt_%p_%04lu\n", lookupPDSlot(find_ret.vspace_root, vptr).pdSlot, GET_PD_INDEX(vptr));
306 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
310 lookupPUDSlot(find_ret.vspace_root, vptr).pudSlot, GET_PUD_INDEX(vptr), (long unsigned int)asid);
313 lookupPUDSlot(find_ret.vspace_root, vptr).pudSlot, GET_PUD_INDEX(vptr));
319 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
325 find_ret.vspace_root, GET_PGD_INDEX(vptr), (long unsigned int)asid);
327 printf("pud_%p_%04lu\n", find_ret.vspace_root, GET_PGD_INDEX(vptr));
332 lookupPGDSlot(find_ret.vspace_root, vptr).pgdSlot, GET_PGD_INDEX(vptr), (long unsigned int)asid);
334 printf("pud_%p_%04lu\n", lookupPGDSlot(find_ret.vspace_root, vptr).pgdSlot, GET_PGD_INDEX(vptr));
341 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
344 find_ret.vspace_root, (long unsigned int)asid);
346 printf("%p_pd\n", find_ret.vspace_root);
357 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(cap_frame_cap_get_capFMappedASID(cap));
358 assert(find_ret.status == EXCEPTION_NONE);
359 _cap_frame_print_attrs_vptr(vptr, find_ret.vspace_root);