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