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