This is xnu-8019. See this file in:
__ZN17IONVRAMController*
__ZTV17IONVRAMController
_IOCPURunPlatformActiveActions
_IOCPURunPlatformQuiesceActions
_PE_get_default
_PE_reboot_on_panic
_PE_mark_hwaccess
_mach_vm_map:_mach_vm_map_external
_mach_vm_remap:_mach_vm_remap_external
_ml_arm_sleep
_ml_get_abstime_offset
_ml_get_conttime_offset
_ml_get_wake_timebase
_ml_set_reset_time
_proc_getcdhash
_ml_cpu_init_completed
_cpu_broadcast_xcall
_cpu_xcall
_cpu_broadcast_immediate_xcall
_cpu_immediate_xcall
_cpu_number
_enable_kernel_vfp_context
_get_preemption_level
_PE_consistent_debug_register
_ml_static_ptovirt
_ml_static_mfree
_sched_perfcontrol_register_callbacks
_sched_perfcontrol_update_recommended_cores
_PE_panic_debugging_enabled
_register_additional_panic_data_buffer
_get_arm_cpu_version
__ZN24IOBufferMemoryDescriptor18initWithGuardPagesEP4taskmy
__ZN24IOBufferMemoryDescriptor20inTaskWithGuardPagesEP4taskmy
__ZN27IOGuardPageMemoryDescriptor12initWithSizeEj
__ZN27IOGuardPageMemoryDescriptor8withSizeEj
_serial_enable_irq
_serial_ack_irq
_serial_filter_irq