40{
44
46 {
47
48
49
51 }
52 else
53 {
54
55
56
58
59
60
61
62
63
64
65 Status = DeviceIoControl(
68 &FlushRequest,
70 &FlushRequest,
72
73 &ReturnedLength,
74 NULL
75 );
76
77 if (!Status)
78 {
79 ShowMessages(
"ioctl failed with code 0x%x\n", GetLastError());
80 return;
81 }
82
84 {
85
86
87
88
90 "flushing buffers was successful, total %d messages were cleared.\n",
93 }
94 else
95 {
96 ShowMessages(
"flushing buffers was not successful :(\n");
97 }
98 }
99}
int BOOL
Definition BasicTypes.h:23
unsigned long ULONG
Definition BasicTypes.h:37
#define DEBUGGER_OPERATION_WAS_SUCCESSFUL
General value to indicate that the operation or request was successful.
Definition ErrorCodes.h:23
#define IOCTL_DEBUGGER_FLUSH_LOGGING_BUFFERS
ioctl, flush the kernel buffers
Definition Ioctls.h:155
#define SIZEOF_DEBUGGER_FLUSH_LOGGING_BUFFERS
Definition RequestStructures.h:286
BOOLEAN g_IsSerialConnectedToRemoteDebuggee
Shows if the debugger was connected to remote debuggee over (A remote guest)
Definition globals.h:231
BOOLEAN KdSendFlushPacketToDebuggee()
Send a flush request to the debuggee.
Definition kd.cpp:314
HANDLE g_DeviceHandle
Holds the global handle of device which is used to send the request to the kernel by IOCTL,...
Definition globals.h:471
request for flushing buffers
Definition RequestStructures.h:294
UINT32 CountOfMessagesThatSetAsReadFromVmxRoot
Definition RequestStructures.h:296
UINT32 CountOfMessagesThatSetAsReadFromVmxNonRoot
Definition RequestStructures.h:297
UINT32 KernelStatus
Definition RequestStructures.h:295