32/machine/capdl.c

258     findPDForASID_ret_t find_ret = findPDForASID(asid);
260     cap_frame_print_attrs_vptr(vptr, find_ret.pd);
268         findPDForASID_ret_t find_ret = findPDForASID(asid);
272                    lookupPDSlot(find_ret.pd, vptr), PD_INDEX(vptr), (long unsigned int)asid);
274             printf("pt_%p_%04lu\n", lookupPDSlot(find_ret.pd, vptr), PD_INDEX(vptr));
280         findPDForASID_ret_t find_ret = findPDForASID(asid);
283                    find_ret.pd, (long unsigned int)asid);
285             printf("%p_pd\n", find_ret.pd);
296         findPDForASID_ret_t find_ret = findPDForASID(cap_small_frame_cap_get_capFMappedASID(cap));
297         assert(find_ret.status == EXCEPTION_NONE);
298         cap_frame_print_attrs_vptr(vptr, find_ret.pd);
303         findPDForASID_ret_t find_ret = findPDForASID(cap_frame_cap_get_capFMappedASID(cap));
304         assert(find_ret.status == EXCEPTION_NONE);
305         cap_frame_print_attrs_vptr(vptr, find_ret.pd);