This is xnu-8019. See this file in:
_bsd_set_dependency_capable
_clock_get_system_value
_kdp_register_callout
_kdp_set_ip_and_mac_addresses
_logwakeup
_ml_stack_remaining
_serial_getc
_serial_init
_serial_putc
_text_crypter_create_hook_set
_vm_map_copyout
_ml_get_cpu_count
_ml_get_boot_cpu_number
_ml_get_cpu_number
_ml_get_cluster_number
_ml_get_max_cpu_number
_ml_get_topology_info
_ml_dbgwrap_halt_cpu_with_state
_vm_map:_vm_map_external
__ZN5IORTC15getUTCTimeOfDayEPjS0_
__ZN5IORTC15setUTCTimeOfDayEjj