This is xnu-12377.1.9. See this file in:
Directory listing for xnu-12377.1.9//osfmk/kdp/ml/i386
kdp_x86_common.c
kdp_x86_common.h