PG_XI
#define PG_PROTMASK (PG_M | PG_RO | PG_RI | PG_XI)
db_printf("%c", tlblo & PG_XI ? 'X' : ' ');
pg_xi = PG_XI;