Searched refs:print_vmx_info (Results 1 – 1 of 1) sorted by relevance
88 static void print_vmx_info(void);1001 print_vmx_info(); in printcpuinfo()2223 print_vmx_info(void) in print_vmx_info() function