Searched refs:vmx_init (Results 1 – 3 of 3) sorted by relevance
730 int vmx_init(void);
1042 r = vmx_init(); in vt_init()
8922 int __init vmx_init(void) in vmx_init() function