Searched refs:SEV (Results 1 – 3 of 3) sorted by relevance
12 model = "Microchip PolarFire-SoC SEV Kit";
3890 std::optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local3891 if (SEV && SEV->isExpression()) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()3894 auto [StateTrue, StateFalse] = State->assume(*SEV); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
293 // NOP,SEV,SEVL,WFE,WFI,YIELD