Searched refs:evmcs_vmlaunch (Results 1 – 2 of 2) sorted by relevance
423 return evmcs_vmlaunch(); in vmlaunch()
1029 static inline int evmcs_vmlaunch(void) in evmcs_vmlaunch() function