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