pl4_i
if (!pmap_valid_entry(L4_BASE[pl4_i(va)])) {
L4_BASE[pl4_i(va)] = pa | pteflags;
if (!pmap_valid_entry(L4_BASE[pl4_i(va)])) {
L4_BASE[pl4_i(va)] = pa | pteflags;
L4e_idx = pl4_i(startva);
slotspace.area[type].sslot = pl4_i(va);
L4e_idx = pl4_i(startva);
L4e_idx = pl4_i(startva);