VOID __stdcall HvlAddSecureSkPagesCallbackRoutine(
KBUGCHECK_CALLBACK_REASON Reason,
KBUGCHECK_REASON_CALLBACK_RECORD *Record,
PVOID ReasonSpecificData,
UINT32 ReasonSpecificDataLength){
HvlAddSecurePagesCallbackRoutine();
}