Searched refs:MENVCFG_DTE (Results 1 – 3 of 3) sorted by relevance
801 #define MENVCFG_DTE (1ULL << 59) macro829 #define HENVCFG_DTE MENVCFG_DTE
133 return (env->menvcfg & MENVCFG_DTE) != 0; in riscv_env_smode_dbltrp_enabled()2296 bool dte = (env->menvcfg & MENVCFG_DTE) != 0; in riscv_cpu_do_interrupt()
3190 (cfg->ext_ssdbltrp ? MENVCFG_DTE : 0); in write_menvcfg()3206 if ((val & MENVCFG_DTE) == 0) { in write_menvcfg()3231 (cfg->ext_ssdbltrp ? MENVCFG_DTE : 0); in write_menvcfgh()3234 if ((valh & MENVCFG_DTE) == 0) { in write_menvcfgh()