This is xnu-8019. See this file in:
_host_vmxon
_host_vmxoff