Searched refs:stgi (Results 1 – 2 of 2) sorted by relevance
717 static inline void stgi(void) in stgi() function5738 stgi(); in svm_vcpu_run()
4379 DIP(SrcNone | Prot | Priv, stgi, check_svme),