Symbol: VM_GUEST_VIRTUALBOX
sys/arch/x86/x86/identcpu.c
1131
{ "innotek GmbH", VM_GUEST_VIRTUALBOX }, /* Oracle VirtualBox */
sys/arch/x86/x86/identcpu.c
1138
{ "VirtualBox", VM_GUEST_VIRTUALBOX }, /* Sun xVM VirtualBox */
sys/arch/x86/x86/tsc.c
246
} else if (vm_guest == VM_GUEST_VIRTUALBOX ||
sys/arch/x86/x86/x86_machdep.c
1417
[VM_GUEST_VIRTUALBOX] = "VirtualBox",