VP_IDX3_CNT
for (l = 0; l < VP_IDX3_CNT; l++) {
for (k = 0; k <= VP_IDX3_CNT - 1; k++) {
for (k = 0; k <= VP_IDX3_CNT - 1; k++) {
npteds = roundup(npteds, VP_IDX3_CNT);
npages += 2 * howmany(npteds, VP_IDX3_CNT);
npages += 2 * howmany(npteds, VP_IDX3_CNT * VP_IDX2_CNT);
npages += 2 * howmany(npteds, VP_IDX3_CNT * VP_IDX2_CNT * VP_IDX1_CNT);
uint64_t l3[VP_IDX3_CNT];
struct pte_desc *vp[VP_IDX3_CNT];
uint64_t l3[VP_IDX3_CNT];
#define VP_IDX3_MASK (VP_IDX3_CNT-1)
#define VP_IDX3_MASK (VP_IDX3_CNT-1)
for (k = 0; k <= VP_IDX3_CNT - 1; k++) {
for (k = 0; k <= VP_IDX3_CNT - 1; k++) {
npteds = roundup(npteds, VP_IDX3_CNT);
npages += 2 * howmany(npteds, VP_IDX3_CNT);
npages += 2 * howmany(npteds, VP_IDX3_CNT * VP_IDX2_CNT);
npages += 2 * howmany(npteds, VP_IDX3_CNT * VP_IDX2_CNT * VP_IDX1_CNT);
pt_entry_t l3[VP_IDX3_CNT];
struct pte_desc *vp[VP_IDX3_CNT];
for (l = 0; l < VP_IDX3_CNT; l++) {