Searched refs:print_vmx_info (Results 1 – 1 of 1) sorted by relevance
89 static void print_vmx_info(void);1123 print_vmx_info(); in printcpuinfo()2467 print_vmx_info(void) in print_vmx_info() function