Windows APIs
win10r1511 Symbols in kd_0c_8086.dll
⇒
general DLL page
KdInitializeLibrary