Searched refs:print_vmx_info (Results 1 – 1 of 1) sorted by relevance
87 static void print_vmx_info(void);1111 print_vmx_info(); in printcpuinfo()2474 print_vmx_info(void) in print_vmx_info() function