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