Searched refs:SENVCFG_UKTE (Results 1 – 3 of 3) sorted by relevance
819 #define SENVCFG_UKTE BIT(8) macro
1136 } else if (!get_field(env->senvcfg, SENVCFG_UKTE)) { in do_svukte_check()
3285 mask |= SENVCFG_UKTE; in write_senvcfg()