NTSTATUS __fastcall ZwReplyWaitReceivePort(
INT64 a1,
INT64 a2,
INT64 a3,
INT64 a4,
INT64 a5,
INT64 a6,
INT64 a7,
INT64 a8){
NTSTATUS result;
_disable();
__readeflags();
KiServiceInternal();
return result;
}