p3_entry_t
PT3[i] = (p3_entry_t)PT2;
static p3_entry_t *PT3;
PT3[i] = (p3_entry_t)VTOP((uintptr_t)&PT2[0]);
extern p3_entry_t PT3[];