Searched defs:vmlaunch (Results 1 – 3 of 3) sorted by relevance
81 vmlaunch label
418 static inline int vmlaunch(void) in vmlaunch() function