Searched refs:OSDTRTX_EL1 (Results 1 – 3 of 3) sorted by relevance
369 OSDTRTX_EL1 = 0x801a, // 10 000 0000 0011 010 enumerator
219 {"osdtrtx_el1", OSDTRTX_EL1},
3643 msr OSDTRTX_EL1, x124153 mrs x9, OSDTRTX_EL1