TTYC_EL1
if (px == 0 && tty_term_has(tty->term, TTYC_EL1)) {
tty_putcode(tty, TTYC_EL1);
[TTYC_EL1] = { TTYCODE_STRING, "el1" },
if (px == 0 && tty_term_has(tty->term, TTYC_EL1)) {
tty_putcode(tty, TTYC_EL1);