Function print_hypervisor_info

freebsd/x86/x86/identcpu.c:2653–2659

}

static void
print_hypervisor_info(void)
{

	if (*hv_vendor != '\0')
		printf("Hypervisor: Origin = \"%s\"\n", hv_vendor);
}

/*
 * Returns the maximum physical address that can be used with the