64/machine/capdl.c

214     findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
215     _cap_frame_print_attrs_vptr(vptr, find_ret.vspace_root);
224         findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
228                    lookupPDSlot(find_ret.vspace_root, vptr).pdSlot, GET_PD_INDEX(vptr), (long unsigned int)asid);
230             printf("pt_%p_%04lu\n", lookupPDSlot(find_ret.vspace_root, vptr).pdSlot, GET_PD_INDEX(vptr));
236         findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
240                    lookupPDPTSlot(find_ret.vspace_root, vptr).pdptSlot, GET_PDPT_INDEX(vptr), (long unsigned int)asid);
242             printf("pd_%p_%04lu\n", lookupPDPTSlot(find_ret.vspace_root, vptr).pdptSlot, GET_PDPT_INDEX(vptr));
248         findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
252                    lookupPML4Slot(find_ret.vspace_root, vptr), GET_PML4_INDEX(vptr), (long unsigned int)asid);
254             printf("pdpt_%p_%04lu\n", lookupPML4Slot(find_ret.vspace_root, vptr), GET_PML4_INDEX(vptr));
260         findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
263                    find_ret.vspace_root, (long unsigned int)asid);
265             printf("%p_pd\n", find_ret.vspace_root);
276         findVSpaceForASID_ret_t find_ret = findVSpaceForASID(cap_frame_cap_get_capFMappedASID(cap));
277         assert(find_ret.status == EXCEPTION_NONE);
278         _cap_frame_print_attrs_vptr(vptr, find_ret.vspace_root);