Symbol: vmxon_region