T_PTE
return T_PTE;
case T_PTE: puts(" pte"); break;
inherited, l4_type == T_PTE ? l4type(i) : T_NORMAL);
(l4_type == T_PTE && hide_pte))