pl3_i
if (!pmap_valid_entry(L3_BASE[pl3_i(va)])) {
L3_BASE[pl3_i(va)] = pa | pteflags;
if (!pmap_valid_entry(L3_BASE[pl3_i(va)])) {
L3_BASE[pl3_i(va)] = pa | pteflags;
L3e_idx = pl3_i(startva);
L3e_idx = pl3_i(startva);
L3e_idx = pl3_i(startva);