Lines Matching refs:GET_PUD_INDEX
130 printf("frame_%p_%04lu ", pudSlot.pudSlot, GET_PUD_INDEX(vptr));
193 printf("pd_%p_%04lu {\n", pudSlot, GET_PUD_INDEX(vptr));
233 pude_t *pudSlot = pud + GET_PUD_INDEX(i);
235 printf("0x%lx: pd_%p_%04lu\n", GET_PUD_INDEX(i), pudSlot, GET_PUD_INDEX(i));
242 pude_t *pudSlot = pud + GET_PUD_INDEX(i);
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));
491 pude_t *pudSlot = pud + GET_PUD_INDEX(i);
498 printf("frame_%p_%04lu = frame ", pudSlot, GET_PUD_INDEX(i));
503 printf("pd_%p_%04lu = pd\n", pudSlot, GET_PUD_INDEX(i));