This repository has been archived by the owner on Oct 3, 2021. It is now read-only.
/
floppy_false-valid-deref.i.cil.c
8278 lines (7908 loc) · 276 KB
/
floppy_false-valid-deref.i.cil.c
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
extern void __VERIFIER_error() __attribute__ ((__noreturn__));
extern char __VERIFIER_nondet_char(void);
extern int __VERIFIER_nondet_int(void);
extern long __VERIFIER_nondet_long(void);
extern void *__VERIFIER_nondet_pointer(void);
/* Generated by CIL v. 1.3.6 */
/* print_CIL_Input is true */
#pragma pack(push,8)
typedef unsigned int size_t;
typedef unsigned short wchar_t;
#pragma pack(pop)
#pragma pack(push,8)
#pragma pack(pop)
typedef unsigned long ULONG_PTR;
typedef unsigned long *PULONG_PTR;
typedef ULONG_PTR SIZE_T;
typedef void *PVOID;
typedef char CHAR;
typedef short SHORT;
typedef long LONG;
typedef wchar_t WCHAR;
typedef WCHAR *PWSTR;
typedef WCHAR const *PCWSTR;
typedef CHAR *PCHAR;
typedef LONG *PLONG;
typedef unsigned char UCHAR;
typedef unsigned short USHORT;
typedef unsigned long ULONG;
typedef UCHAR *PUCHAR;
typedef ULONG *PULONG;
typedef void *HANDLE;
typedef HANDLE *PHANDLE;
typedef char CCHAR;
typedef short CSHORT;
typedef ULONG LCID;
typedef LONG NTSTATUS;
typedef long long LONGLONG;
struct __anonstruct____missing_field_name_1 {
ULONG LowPart ;
LONG HighPart ;
};
struct __anonstruct_u_2 {
ULONG LowPart ;
LONG HighPart ;
};
union _LARGE_INTEGER {
struct __anonstruct____missing_field_name_1 __annonCompField1 ;
struct __anonstruct_u_2 u ;
LONGLONG QuadPart ;
};
typedef union _LARGE_INTEGER LARGE_INTEGER;
typedef LARGE_INTEGER *PLARGE_INTEGER;
struct _LUID {
ULONG LowPart ;
LONG HighPart ;
};
typedef struct _LUID LUID;
typedef LARGE_INTEGER PHYSICAL_ADDRESS;
enum _EVENT_TYPE {
NotificationEvent = 0,
SynchronizationEvent = 1
} ;
typedef enum _EVENT_TYPE EVENT_TYPE;
typedef char const *PCSZ;
struct _STRING {
USHORT Length ;
USHORT MaximumLength ;
PCHAR Buffer ;
};
typedef struct _STRING STRING;
typedef STRING *PSTRING;
typedef PSTRING PANSI_STRING;
struct _UNICODE_STRING {
USHORT Length ;
USHORT MaximumLength ;
PWSTR Buffer ;
};
typedef struct _UNICODE_STRING UNICODE_STRING;
typedef UNICODE_STRING *PUNICODE_STRING;
typedef UCHAR BOOLEAN;
struct _LIST_ENTRY {
struct _LIST_ENTRY *Flink ;
struct _LIST_ENTRY *Blink ;
};
typedef struct _LIST_ENTRY LIST_ENTRY;
typedef struct _LIST_ENTRY *PLIST_ENTRY;
struct _OBJECT_ATTRIBUTES {
ULONG Length ;
HANDLE RootDirectory ;
PUNICODE_STRING ObjectName ;
ULONG Attributes ;
PVOID SecurityDescriptor ;
PVOID SecurityQualityOfService ;
};
typedef struct _OBJECT_ATTRIBUTES OBJECT_ATTRIBUTES;
typedef OBJECT_ATTRIBUTES *POBJECT_ATTRIBUTES;
struct _GUID {
unsigned long Data1 ;
unsigned short Data2 ;
unsigned short Data3 ;
unsigned char Data4[8] ;
};
typedef struct _GUID GUID;
typedef UCHAR KIRQL;
enum _NT_PRODUCT_TYPE {
NtProductWinNt = 1,
NtProductLanManNt = 2,
NtProductServer = 3
} ;
typedef enum _NT_PRODUCT_TYPE NT_PRODUCT_TYPE;
struct _KTHREAD;
typedef struct _KTHREAD *PKTHREAD;
struct _ETHREAD;
typedef struct _ETHREAD *PETHREAD;
struct _EPROCESS;
typedef struct _EPROCESS *PEPROCESS;
struct _IO_TIMER;
typedef struct _IO_TIMER *PIO_TIMER;
struct _OBJECT_TYPE;
typedef struct _OBJECT_TYPE *POBJECT_TYPE;
typedef CCHAR KPROCESSOR_MODE;
struct _KAPC;
struct _KAPC;
typedef void (*PKNORMAL_ROUTINE)(PVOID NormalContext , PVOID SystemArgument1 , PVOID SystemArgument2 );
struct _KAPC {
CSHORT Type ;
CSHORT Size ;
ULONG Spare0 ;
struct _KTHREAD *Thread ;
LIST_ENTRY ApcListEntry ;
void (*KernelRoutine)(struct _KAPC *Apc , PKNORMAL_ROUTINE *NormalRoutine , PVOID *NormalContext ,
PVOID *SystemArgument1 , PVOID *SystemArgument2 ) ;
void (*RundownRoutine)(struct _KAPC *Apc ) ;
void (*NormalRoutine)(PVOID NormalContext , PVOID SystemArgument1 , PVOID SystemArgument2 ) ;
PVOID NormalContext ;
PVOID SystemArgument1 ;
PVOID SystemArgument2 ;
CCHAR ApcStateIndex ;
KPROCESSOR_MODE ApcMode ;
BOOLEAN Inserted ;
};
typedef struct _KAPC KAPC;
struct _KDPC;
struct _KDPC;
struct _KDPC {
CSHORT Type ;
UCHAR Number ;
UCHAR Importance ;
LIST_ENTRY DpcListEntry ;
void (*DeferredRoutine)(struct _KDPC *Dpc , PVOID DeferredContext , PVOID SystemArgument1 ,
PVOID SystemArgument2 ) ;
PVOID DeferredContext ;
PVOID SystemArgument1 ;
PVOID SystemArgument2 ;
PULONG_PTR Lock ;
};
typedef struct _KDPC KDPC;
typedef struct _KDPC *PKDPC;
struct _MDL {
struct _MDL *Next ;
CSHORT Size ;
CSHORT MdlFlags ;
struct _EPROCESS *Process ;
PVOID MappedSystemVa ;
PVOID StartVa ;
ULONG ByteCount ;
ULONG ByteOffset ;
};
typedef struct _MDL MDL;
typedef struct _MDL *PMDL;
typedef PVOID PACCESS_TOKEN;
typedef PVOID PSECURITY_DESCRIPTOR;
typedef ULONG ACCESS_MASK;
#pragma pack(push,4)
struct _LUID_AND_ATTRIBUTES {
LUID Luid ;
ULONG Attributes ;
};
typedef struct _LUID_AND_ATTRIBUTES LUID_AND_ATTRIBUTES;
#pragma pack(pop)
struct _PRIVILEGE_SET {
ULONG PrivilegeCount ;
ULONG Control ;
LUID_AND_ATTRIBUTES Privilege[1] ;
};
typedef struct _PRIVILEGE_SET PRIVILEGE_SET;
enum _SECURITY_IMPERSONATION_LEVEL {
SecurityAnonymous = 0,
SecurityIdentification = 1,
SecurityImpersonation = 2,
SecurityDelegation = 3
} ;
typedef enum _SECURITY_IMPERSONATION_LEVEL SECURITY_IMPERSONATION_LEVEL;
typedef BOOLEAN SECURITY_CONTEXT_TRACKING_MODE;
struct _SECURITY_QUALITY_OF_SERVICE {
ULONG Length ;
SECURITY_IMPERSONATION_LEVEL ImpersonationLevel ;
SECURITY_CONTEXT_TRACKING_MODE ContextTrackingMode ;
BOOLEAN EffectiveOnly ;
};
typedef struct _SECURITY_QUALITY_OF_SERVICE *PSECURITY_QUALITY_OF_SERVICE;
typedef ULONG SECURITY_INFORMATION;
typedef LONG KPRIORITY;
typedef ULONG_PTR KSPIN_LOCK;
typedef KSPIN_LOCK *PKSPIN_LOCK;
struct _RTL_QUERY_REGISTRY_TABLE {
NTSTATUS (*QueryRoutine)(PWSTR ValueName , ULONG ValueType ,
PVOID ValueData , ULONG ValueLength ,
PVOID Context , PVOID EntryContext ) ;
ULONG Flags ;
PWSTR Name ;
PVOID EntryContext ;
ULONG DefaultType ;
PVOID DefaultData ;
ULONG DefaultLength ;
};
typedef struct _RTL_QUERY_REGISTRY_TABLE RTL_QUERY_REGISTRY_TABLE;
typedef struct _RTL_QUERY_REGISTRY_TABLE *PRTL_QUERY_REGISTRY_TABLE;
union __anonunion____missing_field_name_6 {
NTSTATUS Status ;
PVOID Pointer ;
};
struct _IO_STATUS_BLOCK {
union __anonunion____missing_field_name_6 __annonCompField4 ;
ULONG_PTR Information ;
};
typedef struct _IO_STATUS_BLOCK IO_STATUS_BLOCK;
typedef struct _IO_STATUS_BLOCK *PIO_STATUS_BLOCK;
enum _FILE_INFORMATION_CLASS {
FileDirectoryInformation = 1,
FileFullDirectoryInformation = 2,
FileBothDirectoryInformation = 3,
FileBasicInformation = 4,
FileStandardInformation = 5,
FileInternalInformation = 6,
FileEaInformation = 7,
FileAccessInformation = 8,
FileNameInformation = 9,
FileRenameInformation = 10,
FileLinkInformation = 11,
FileNamesInformation = 12,
FileDispositionInformation = 13,
FilePositionInformation = 14,
FileFullEaInformation = 15,
FileModeInformation = 16,
FileAlignmentInformation = 17,
FileAllInformation = 18,
FileAllocationInformation = 19,
FileEndOfFileInformation = 20,
FileAlternateNameInformation = 21,
FileStreamInformation = 22,
FilePipeInformation = 23,
FilePipeLocalInformation = 24,
FilePipeRemoteInformation = 25,
FileMailslotQueryInformation = 26,
FileMailslotSetInformation = 27,
FileCompressionInformation = 28,
FileObjectIdInformation = 29,
FileCompletionInformation = 30,
FileMoveClusterInformation = 31,
FileQuotaInformation = 32,
FileReparsePointInformation = 33,
FileNetworkOpenInformation = 34,
FileAttributeTagInformation = 35,
FileTrackingInformation = 36,
FileMaximumInformation = 37
} ;
typedef enum _FILE_INFORMATION_CLASS FILE_INFORMATION_CLASS;
struct _FILE_BASIC_INFORMATION {
LARGE_INTEGER CreationTime ;
LARGE_INTEGER LastAccessTime ;
LARGE_INTEGER LastWriteTime ;
LARGE_INTEGER ChangeTime ;
ULONG FileAttributes ;
};
typedef struct _FILE_BASIC_INFORMATION *PFILE_BASIC_INFORMATION;
struct _FILE_STANDARD_INFORMATION {
LARGE_INTEGER AllocationSize ;
LARGE_INTEGER EndOfFile ;
ULONG NumberOfLinks ;
BOOLEAN DeletePending ;
BOOLEAN Directory ;
};
typedef struct _FILE_STANDARD_INFORMATION *PFILE_STANDARD_INFORMATION;
struct _FILE_NETWORK_OPEN_INFORMATION {
LARGE_INTEGER CreationTime ;
LARGE_INTEGER LastAccessTime ;
LARGE_INTEGER LastWriteTime ;
LARGE_INTEGER ChangeTime ;
LARGE_INTEGER AllocationSize ;
LARGE_INTEGER EndOfFile ;
ULONG FileAttributes ;
};
typedef struct _FILE_NETWORK_OPEN_INFORMATION *PFILE_NETWORK_OPEN_INFORMATION;
enum _FSINFOCLASS {
FileFsVolumeInformation = 1,
FileFsLabelInformation = 2,
FileFsSizeInformation = 3,
FileFsDeviceInformation = 4,
FileFsAttributeInformation = 5,
FileFsControlInformation = 6,
FileFsFullSizeInformation = 7,
FileFsObjectIdInformation = 8,
FileFsMaximumInformation = 9
} ;
typedef enum _FSINFOCLASS FS_INFORMATION_CLASS;
enum _INTERFACE_TYPE {
InterfaceTypeUndefined = -1,
Internal = 0,
Isa = 1,
Eisa = 2,
MicroChannel = 3,
TurboChannel = 4,
PCIBus = 5,
VMEBus = 6,
NuBus = 7,
PCMCIABus = 8,
CBus = 9,
MPIBus = 10,
MPSABus = 11,
ProcessorInternal = 12,
InternalPowerBus = 13,
PNPISABus = 14,
PNPBus = 15,
MaximumInterfaceType = 16
} ;
typedef enum _INTERFACE_TYPE INTERFACE_TYPE;
typedef enum _INTERFACE_TYPE *PINTERFACE_TYPE;
struct _KEY_VALUE_FULL_INFORMATION {
ULONG TitleIndex ;
ULONG Type ;
ULONG DataOffset ;
ULONG DataLength ;
ULONG NameLength ;
WCHAR Name[1] ;
};
typedef struct _KEY_VALUE_FULL_INFORMATION *PKEY_VALUE_FULL_INFORMATION;
struct _CLIENT_ID {
HANDLE UniqueProcess ;
HANDLE UniqueThread ;
};
typedef struct _CLIENT_ID CLIENT_ID;
typedef CLIENT_ID *PCLIENT_ID;
enum _SYSTEM_POWER_STATE {
PowerSystemUnspecified = 0,
PowerSystemWorking = 1,
PowerSystemSleeping1 = 2,
PowerSystemSleeping2 = 3,
PowerSystemSleeping3 = 4,
PowerSystemHibernate = 5,
PowerSystemShutdown = 6,
PowerSystemMaximum = 7
} ;
typedef enum _SYSTEM_POWER_STATE SYSTEM_POWER_STATE;
enum __anonenum_POWER_ACTION_11 {
PowerActionNone = 0,
PowerActionReserved = 1,
PowerActionSleep = 2,
PowerActionHibernate = 3,
PowerActionShutdown = 4,
PowerActionShutdownReset = 5,
PowerActionShutdownOff = 6,
PowerActionWarmEject = 7
} ;
typedef enum __anonenum_POWER_ACTION_11 POWER_ACTION;
enum _DEVICE_POWER_STATE {
PowerDeviceUnspecified = 0,
PowerDeviceD0 = 1,
PowerDeviceD1 = 2,
PowerDeviceD2 = 3,
PowerDeviceD3 = 4,
PowerDeviceMaximum = 5
} ;
typedef enum _DEVICE_POWER_STATE DEVICE_POWER_STATE;
union _POWER_STATE {
SYSTEM_POWER_STATE SystemState ;
DEVICE_POWER_STATE DeviceState ;
};
typedef union _POWER_STATE POWER_STATE;
enum _POWER_STATE_TYPE {
SystemPowerState = 0,
DevicePowerState = 1
} ;
typedef enum _POWER_STATE_TYPE POWER_STATE_TYPE;
struct _KSYSTEM_TIME {
ULONG LowPart ;
LONG High1Time ;
LONG High2Time ;
};
typedef struct _KSYSTEM_TIME KSYSTEM_TIME;
enum _ALTERNATIVE_ARCHITECTURE_TYPE {
StandardDesign = 0,
NEC98x86 = 1,
EndAlternatives = 2
} ;
typedef enum _ALTERNATIVE_ARCHITECTURE_TYPE ALTERNATIVE_ARCHITECTURE_TYPE;
struct _KUSER_SHARED_DATA {
ULONG volatile TickCountLow ;
ULONG TickCountMultiplier ;
KSYSTEM_TIME volatile InterruptTime ;
KSYSTEM_TIME volatile SystemTime ;
KSYSTEM_TIME volatile TimeZoneBias ;
USHORT ImageNumberLow ;
USHORT ImageNumberHigh ;
WCHAR NtSystemRoot[260] ;
ULONG MaxStackTraceDepth ;
ULONG CryptoExponent ;
ULONG TimeZoneId ;
ULONG Reserved2[8] ;
NT_PRODUCT_TYPE NtProductType ;
BOOLEAN ProductTypeIsValid ;
ULONG NtMajorVersion ;
ULONG NtMinorVersion ;
BOOLEAN ProcessorFeatures[64] ;
ULONG Reserved1 ;
ULONG Reserved3 ;
ULONG volatile TimeSlip ;
ALTERNATIVE_ARCHITECTURE_TYPE AlternativeArchitecture ;
LARGE_INTEGER SystemExpirationDate ;
ULONG SuiteMask ;
BOOLEAN KdDebuggerEnabled ;
};
typedef struct _KUSER_SHARED_DATA KUSER_SHARED_DATA;
typedef PVOID PASSIGNED_RESOURCE;
#pragma pack(push,4)
struct __anonstruct_Generic_16 {
PHYSICAL_ADDRESS Start ;
ULONG Length ;
};
struct __anonstruct_Port_17 {
PHYSICAL_ADDRESS Start ;
ULONG Length ;
};
struct __anonstruct_Interrupt_18 {
ULONG Level ;
ULONG Vector ;
ULONG Affinity ;
};
struct __anonstruct_Memory_19 {
PHYSICAL_ADDRESS Start ;
ULONG Length ;
};
struct __anonstruct_Dma_20 {
ULONG Channel ;
ULONG Port ;
ULONG Reserved1 ;
};
struct __anonstruct_DevicePrivate_21 {
ULONG Data[3] ;
};
struct __anonstruct_BusNumber_22 {
ULONG Start ;
ULONG Length ;
ULONG Reserved ;
};
struct __anonstruct_DeviceSpecificData_23 {
ULONG DataSize ;
ULONG Reserved1 ;
ULONG Reserved2 ;
};
union __anonunion_u_15 {
struct __anonstruct_Generic_16 Generic ;
struct __anonstruct_Port_17 Port ;
struct __anonstruct_Interrupt_18 Interrupt ;
struct __anonstruct_Memory_19 Memory ;
struct __anonstruct_Dma_20 Dma ;
struct __anonstruct_DevicePrivate_21 DevicePrivate ;
struct __anonstruct_BusNumber_22 BusNumber ;
struct __anonstruct_DeviceSpecificData_23 DeviceSpecificData ;
};
struct _CM_PARTIAL_RESOURCE_DESCRIPTOR {
UCHAR Type ;
UCHAR ShareDisposition ;
USHORT Flags ;
union __anonunion_u_15 u ;
};
typedef struct _CM_PARTIAL_RESOURCE_DESCRIPTOR CM_PARTIAL_RESOURCE_DESCRIPTOR;
typedef struct _CM_PARTIAL_RESOURCE_DESCRIPTOR *PCM_PARTIAL_RESOURCE_DESCRIPTOR;
#pragma pack(pop)
struct _CM_PARTIAL_RESOURCE_LIST {
USHORT Version ;
USHORT Revision ;
ULONG Count ;
CM_PARTIAL_RESOURCE_DESCRIPTOR PartialDescriptors[1] ;
};
typedef struct _CM_PARTIAL_RESOURCE_LIST CM_PARTIAL_RESOURCE_LIST;
struct _CM_FULL_RESOURCE_DESCRIPTOR {
INTERFACE_TYPE InterfaceType ;
ULONG BusNumber ;
CM_PARTIAL_RESOURCE_LIST PartialResourceList ;
};
typedef struct _CM_FULL_RESOURCE_DESCRIPTOR CM_FULL_RESOURCE_DESCRIPTOR;
typedef struct _CM_FULL_RESOURCE_DESCRIPTOR *PCM_FULL_RESOURCE_DESCRIPTOR;
struct _CM_RESOURCE_LIST {
ULONG Count ;
CM_FULL_RESOURCE_DESCRIPTOR List[1] ;
};
typedef struct _CM_RESOURCE_LIST *PCM_RESOURCE_LIST;
#pragma pack(push,1)
#pragma pack(pop)
struct _CM_FLOPPY_DEVICE_DATA {
USHORT Version ;
USHORT Revision ;
CHAR Size[8] ;
ULONG MaxDensity ;
ULONG MountDensity ;
UCHAR StepRateHeadUnloadTime ;
UCHAR HeadLoadTime ;
UCHAR MotorOffTime ;
UCHAR SectorLengthCode ;
UCHAR SectorPerTrack ;
UCHAR ReadWriteGapLength ;
UCHAR DataTransferLength ;
UCHAR FormatGapLength ;
UCHAR FormatFillCharacter ;
UCHAR HeadSettleTime ;
UCHAR MotorSettleTime ;
UCHAR MaximumTrackValue ;
UCHAR DataTransferRate ;
};
typedef struct _CM_FLOPPY_DEVICE_DATA *PCM_FLOPPY_DEVICE_DATA;
struct __anonstruct_Port_25 {
ULONG Length ;
ULONG Alignment ;
PHYSICAL_ADDRESS MinimumAddress ;
PHYSICAL_ADDRESS MaximumAddress ;
};
struct __anonstruct_Memory_26 {
ULONG Length ;
ULONG Alignment ;
PHYSICAL_ADDRESS MinimumAddress ;
PHYSICAL_ADDRESS MaximumAddress ;
};
struct __anonstruct_Interrupt_27 {
ULONG MinimumVector ;
ULONG MaximumVector ;
};
struct __anonstruct_Dma_28 {
ULONG MinimumChannel ;
ULONG MaximumChannel ;
};
struct __anonstruct_Generic_29 {
ULONG Length ;
ULONG Alignment ;
PHYSICAL_ADDRESS MinimumAddress ;
PHYSICAL_ADDRESS MaximumAddress ;
};
struct __anonstruct_DevicePrivate_30 {
ULONG Data[3] ;
};
struct __anonstruct_BusNumber_31 {
ULONG Length ;
ULONG MinBusNumber ;
ULONG MaxBusNumber ;
ULONG Reserved ;
};
struct __anonstruct_AssignedResource_32 {
PASSIGNED_RESOURCE AssignedResource ;
};
struct __anonstruct_SubAllocateFrom_33 {
UCHAR Type ;
UCHAR Reserved[3] ;
PASSIGNED_RESOURCE AssignedResource ;
PHYSICAL_ADDRESS Transformation ;
};
struct __anonstruct_ConfigData_34 {
ULONG Priority ;
ULONG Reserved1 ;
ULONG Reserved2 ;
};
union __anonunion_u_24 {
struct __anonstruct_Port_25 Port ;
struct __anonstruct_Memory_26 Memory ;
struct __anonstruct_Interrupt_27 Interrupt ;
struct __anonstruct_Dma_28 Dma ;
struct __anonstruct_Generic_29 Generic ;
struct __anonstruct_DevicePrivate_30 DevicePrivate ;
struct __anonstruct_BusNumber_31 BusNumber ;
struct __anonstruct_AssignedResource_32 AssignedResource ;
struct __anonstruct_SubAllocateFrom_33 SubAllocateFrom ;
struct __anonstruct_ConfigData_34 ConfigData ;
};
struct _IO_RESOURCE_DESCRIPTOR {
UCHAR Option ;
UCHAR Type ;
UCHAR ShareDisposition ;
UCHAR Spare1 ;
USHORT Flags ;
USHORT Spare2 ;
union __anonunion_u_24 u ;
};
typedef struct _IO_RESOURCE_DESCRIPTOR IO_RESOURCE_DESCRIPTOR;
struct _IO_RESOURCE_LIST {
USHORT Version ;
USHORT Revision ;
ULONG Count ;
IO_RESOURCE_DESCRIPTOR Descriptors[1] ;
};
typedef struct _IO_RESOURCE_LIST IO_RESOURCE_LIST;
struct _IO_RESOURCE_REQUIREMENTS_LIST {
ULONG ListSize ;
INTERFACE_TYPE InterfaceType ;
ULONG BusNumber ;
ULONG SlotNumber ;
ULONG Reserved[3] ;
ULONG AlternativeLists ;
IO_RESOURCE_LIST List[1] ;
};
typedef struct _IO_RESOURCE_REQUIREMENTS_LIST *PIO_RESOURCE_REQUIREMENTS_LIST;
enum _CONFIGURATION_TYPE {
ArcSystem = 0,
CentralProcessor = 1,
FloatingPointProcessor = 2,
PrimaryIcache = 3,
PrimaryDcache = 4,
SecondaryIcache = 5,
SecondaryDcache = 6,
SecondaryCache = 7,
EisaAdapter = 8,
TcAdapter = 9,
ScsiAdapter = 10,
DtiAdapter = 11,
MultiFunctionAdapter = 12,
DiskController = 13,
TapeController = 14,
CdromController = 15,
WormController = 16,
SerialController = 17,
NetworkController = 18,
DisplayController = 19,
ParallelController = 20,
PointerController = 21,
KeyboardController = 22,
AudioController = 23,
OtherController = 24,
DiskPeripheral = 25,
FloppyDiskPeripheral = 26,
TapePeripheral = 27,
ModemPeripheral = 28,
MonitorPeripheral = 29,
PrinterPeripheral = 30,
PointerPeripheral = 31,
KeyboardPeripheral = 32,
TerminalPeripheral = 33,
OtherPeripheral = 34,
LinePeripheral = 35,
NetworkPeripheral = 36,
SystemMemory = 37,
DockingInformation = 38,
RealModeIrqRoutingTable = 39,
MaximumType = 40
} ;
typedef enum _CONFIGURATION_TYPE CONFIGURATION_TYPE;
typedef enum _CONFIGURATION_TYPE *PCONFIGURATION_TYPE;
enum _KWAIT_REASON {
Executive = 0,
FreePage = 1,
PageIn = 2,
PoolAllocation = 3,
DelayExecution = 4,
Suspended = 5,
UserRequest = 6,
WrExecutive = 7,
WrFreePage = 8,
WrPageIn = 9,
WrPoolAllocation = 10,
WrDelayExecution = 11,
WrSuspended = 12,
WrUserRequest = 13,
WrEventPair = 14,
WrQueue = 15,
WrLpcReceive = 16,
WrLpcReply = 17,
WrVirtualMemory = 18,
WrPageOut = 19,
WrRendezvous = 20,
Spare2 = 21,
Spare3 = 22,
Spare4 = 23,
Spare5 = 24,
Spare6 = 25,
WrKernel = 26,
MaximumWaitReason = 27
} ;
typedef enum _KWAIT_REASON KWAIT_REASON;
struct _DISPATCHER_HEADER {
UCHAR Type ;
UCHAR Absolute ;
UCHAR Size ;
UCHAR Inserted ;
LONG SignalState ;
LIST_ENTRY WaitListHead ;
};
typedef struct _DISPATCHER_HEADER DISPATCHER_HEADER;
struct _KDEVICE_QUEUE {
CSHORT Type ;
CSHORT Size ;
LIST_ENTRY DeviceListHead ;
KSPIN_LOCK Lock ;
BOOLEAN Busy ;
};
typedef struct _KDEVICE_QUEUE KDEVICE_QUEUE;
struct _KDEVICE_QUEUE_ENTRY {
LIST_ENTRY DeviceListEntry ;
ULONG SortKey ;
BOOLEAN Inserted ;
};
typedef struct _KDEVICE_QUEUE_ENTRY KDEVICE_QUEUE_ENTRY;
struct _KEVENT {
DISPATCHER_HEADER Header ;
};
typedef struct _KEVENT KEVENT;
typedef struct _KEVENT *PKEVENT;
typedef struct _KEVENT *PRKEVENT;
struct _KSEMAPHORE {
DISPATCHER_HEADER Header ;
LONG Limit ;
};
typedef struct _KSEMAPHORE KSEMAPHORE;
typedef struct _KSEMAPHORE *PKSEMAPHORE;
typedef struct _KSEMAPHORE *PRKSEMAPHORE;
enum _MEMORY_CACHING_TYPE {
MmNonCached = 0,
MmCached = 1,
MmWriteCombined = 2,
MmHardwareCoherentCached = 3,
MmNonCachedUnordered = 4,
MmUSWCCached = 5,
MmMaximumCacheType = 6
} ;
typedef enum _MEMORY_CACHING_TYPE MEMORY_CACHING_TYPE;
enum _POOL_TYPE {
NonPagedPool = 0,
PagedPool = 1,
NonPagedPoolMustSucceed = 2,
DontUseThisType = 3,
NonPagedPoolCacheAligned = 4,
PagedPoolCacheAligned = 5,
NonPagedPoolCacheAlignedMustS = 6,
MaxPoolType = 7,
NonPagedPoolSession = 32,
PagedPoolSession = 33,
NonPagedPoolMustSucceedSession = 34,
DontUseThisTypeSession = 35,
NonPagedPoolCacheAlignedSession = 36,
PagedPoolCacheAlignedSession = 37,
NonPagedPoolCacheAlignedMustSSession = 38
} ;
typedef enum _POOL_TYPE POOL_TYPE;
struct _FAST_MUTEX {
LONG Count ;
PKTHREAD Owner ;
ULONG Contention ;
KEVENT Event ;
ULONG OldIrql ;
};
typedef struct _FAST_MUTEX FAST_MUTEX;
typedef struct _FAST_MUTEX *PFAST_MUTEX;
typedef ULONG_PTR ERESOURCE_THREAD;
union __anonunion____missing_field_name_38 {
LONG OwnerCount ;
ULONG TableSize ;
};
struct _OWNER_ENTRY {
ERESOURCE_THREAD OwnerThread ;
union __anonunion____missing_field_name_38 __annonCompField10 ;
};
typedef struct _OWNER_ENTRY OWNER_ENTRY;
typedef struct _OWNER_ENTRY *POWNER_ENTRY;
union __anonunion____missing_field_name_39 {
PVOID Address ;
ULONG_PTR CreatorBackTraceIndex ;
};
struct _ERESOURCE {
LIST_ENTRY SystemResourcesList ;
POWNER_ENTRY OwnerTable ;
SHORT ActiveCount ;
USHORT Flag ;
PKSEMAPHORE SharedWaiters ;
PKEVENT ExclusiveWaiters ;
OWNER_ENTRY OwnerThreads[2] ;
ULONG ContentionCount ;
USHORT NumberOfSharedWaiters ;
USHORT NumberOfExclusiveWaiters ;
union __anonunion____missing_field_name_39 __annonCompField11 ;
KSPIN_LOCK SpinLock ;
};
enum _LOCK_OPERATION {
IoReadAccess = 0,
IoWriteAccess = 1,
IoModifyAccess = 2
} ;
typedef enum _LOCK_OPERATION LOCK_OPERATION;
enum _MM_PAGE_PRIORITY {
LowPagePriority = 0,
NormalPagePriority = 16,
HighPagePriority = 32
} ;
typedef enum _MM_PAGE_PRIORITY MM_PAGE_PRIORITY;
struct _DRIVER_OBJECT;
struct _DRIVER_OBJECT;
struct _SECURITY_SUBJECT_CONTEXT {
PACCESS_TOKEN ClientToken ;
SECURITY_IMPERSONATION_LEVEL ImpersonationLevel ;
PACCESS_TOKEN PrimaryToken ;
PVOID ProcessAuditId ;
};
typedef struct _SECURITY_SUBJECT_CONTEXT SECURITY_SUBJECT_CONTEXT;
struct _INITIAL_PRIVILEGE_SET {
ULONG PrivilegeCount ;
ULONG Control ;
LUID_AND_ATTRIBUTES Privilege[3] ;
};
typedef struct _INITIAL_PRIVILEGE_SET INITIAL_PRIVILEGE_SET;
union __anonunion_Privileges_40 {
INITIAL_PRIVILEGE_SET InitialPrivilegeSet ;
PRIVILEGE_SET PrivilegeSet ;
};
struct _ACCESS_STATE {
LUID OperationID ;
BOOLEAN SecurityEvaluated ;
BOOLEAN GenerateAudit ;
BOOLEAN GenerateOnClose ;
BOOLEAN PrivilegesAllocated ;
ULONG Flags ;
ACCESS_MASK RemainingDesiredAccess ;
ACCESS_MASK PreviouslyGrantedAccess ;
ACCESS_MASK OriginalDesiredAccess ;
SECURITY_SUBJECT_CONTEXT SubjectSecurityContext ;
PSECURITY_DESCRIPTOR SecurityDescriptor ;
PVOID AuxData ;
union __anonunion_Privileges_40 Privileges ;
BOOLEAN AuditPrivileges ;
UNICODE_STRING ObjectName ;
UNICODE_STRING ObjectTypeName ;
};
typedef struct _ACCESS_STATE *PACCESS_STATE;
struct _DEVICE_OBJECT;
struct _DEVICE_OBJECT;
struct _DRIVER_OBJECT;
struct _FILE_OBJECT;
struct _FILE_OBJECT;
struct _IRP;
struct _IRP;
struct _SCSI_REQUEST_BLOCK;
struct _SCSI_REQUEST_BLOCK;
typedef NTSTATUS (*PDRIVER_DISPATCH)(struct _DEVICE_OBJECT *DeviceObject , struct _IRP *Irp );
struct _COMPRESSED_DATA_INFO;
struct _FAST_IO_DISPATCH {
ULONG SizeOfFastIoDispatch ;
BOOLEAN (*FastIoCheckIfPossible)(struct _FILE_OBJECT *FileObject , PLARGE_INTEGER FileOffset ,
ULONG Length , BOOLEAN Wait , ULONG LockKey ,
BOOLEAN CheckForReadOperation , PIO_STATUS_BLOCK IoStatus ,
struct _DEVICE_OBJECT *DeviceObject ) ;
BOOLEAN (*FastIoRead)(struct _FILE_OBJECT *FileObject , PLARGE_INTEGER FileOffset ,
ULONG Length , BOOLEAN Wait , ULONG LockKey , PVOID Buffer ,
PIO_STATUS_BLOCK IoStatus , struct _DEVICE_OBJECT *DeviceObject ) ;
BOOLEAN (*FastIoWrite)(struct _FILE_OBJECT *FileObject , PLARGE_INTEGER FileOffset ,
ULONG Length , BOOLEAN Wait , ULONG LockKey , PVOID Buffer ,
PIO_STATUS_BLOCK IoStatus , struct _DEVICE_OBJECT *DeviceObject ) ;
BOOLEAN (*FastIoQueryBasicInfo)(struct _FILE_OBJECT *FileObject , BOOLEAN Wait ,
PFILE_BASIC_INFORMATION Buffer , PIO_STATUS_BLOCK IoStatus ,
struct _DEVICE_OBJECT *DeviceObject ) ;
BOOLEAN (*FastIoQueryStandardInfo)(struct _FILE_OBJECT *FileObject , BOOLEAN Wait ,
PFILE_STANDARD_INFORMATION Buffer , PIO_STATUS_BLOCK IoStatus ,
struct _DEVICE_OBJECT *DeviceObject ) ;
BOOLEAN (*FastIoLock)(struct _FILE_OBJECT *FileObject , PLARGE_INTEGER FileOffset ,
PLARGE_INTEGER Length , PEPROCESS ProcessId , ULONG Key ,
BOOLEAN FailImmediately , BOOLEAN ExclusiveLock , PIO_STATUS_BLOCK IoStatus ,
struct _DEVICE_OBJECT *DeviceObject ) ;
BOOLEAN (*FastIoUnlockSingle)(struct _FILE_OBJECT *FileObject , PLARGE_INTEGER FileOffset ,
PLARGE_INTEGER Length , PEPROCESS ProcessId , ULONG Key ,
PIO_STATUS_BLOCK IoStatus , struct _DEVICE_OBJECT *DeviceObject ) ;
BOOLEAN (*FastIoUnlockAll)(struct _FILE_OBJECT *FileObject , PEPROCESS ProcessId ,
PIO_STATUS_BLOCK IoStatus , struct _DEVICE_OBJECT *DeviceObject ) ;
BOOLEAN (*FastIoUnlockAllByKey)(struct _FILE_OBJECT *FileObject , PVOID ProcessId ,
ULONG Key , PIO_STATUS_BLOCK IoStatus , struct _DEVICE_OBJECT *DeviceObject ) ;
BOOLEAN (*FastIoDeviceControl)(struct _FILE_OBJECT *FileObject , BOOLEAN Wait ,
PVOID InputBuffer , ULONG InputBufferLength , PVOID OutputBuffer ,
ULONG OutputBufferLength , ULONG IoControlCode ,
PIO_STATUS_BLOCK IoStatus , struct _DEVICE_OBJECT *DeviceObject ) ;
void (*AcquireFileForNtCreateSection)(struct _FILE_OBJECT *FileObject ) ;
void (*ReleaseFileForNtCreateSection)(struct _FILE_OBJECT *FileObject ) ;
void (*FastIoDetachDevice)(struct _DEVICE_OBJECT *SourceDevice , struct _DEVICE_OBJECT *TargetDevice ) ;
BOOLEAN (*FastIoQueryNetworkOpenInfo)(struct _FILE_OBJECT *FileObject , BOOLEAN Wait ,
struct _FILE_NETWORK_OPEN_INFORMATION *Buffer ,
struct _IO_STATUS_BLOCK *IoStatus , struct _DEVICE_OBJECT *DeviceObject ) ;
NTSTATUS (*AcquireForModWrite)(struct _FILE_OBJECT *FileObject , PLARGE_INTEGER EndingOffset ,
struct _ERESOURCE **ResourceToRelease , struct _DEVICE_OBJECT *DeviceObject ) ;
BOOLEAN (*MdlRead)(struct _FILE_OBJECT *FileObject , PLARGE_INTEGER FileOffset ,
ULONG Length , ULONG LockKey , PMDL *MdlChain , PIO_STATUS_BLOCK IoStatus ,
struct _DEVICE_OBJECT *DeviceObject ) ;
BOOLEAN (*MdlReadComplete)(struct _FILE_OBJECT *FileObject , PMDL MdlChain , struct _DEVICE_OBJECT *DeviceObject ) ;
BOOLEAN (*PrepareMdlWrite)(struct _FILE_OBJECT *FileObject , PLARGE_INTEGER FileOffset ,
ULONG Length , ULONG LockKey , PMDL *MdlChain , PIO_STATUS_BLOCK IoStatus ,
struct _DEVICE_OBJECT *DeviceObject ) ;
BOOLEAN (*MdlWriteComplete)(struct _FILE_OBJECT *FileObject , PLARGE_INTEGER FileOffset ,
PMDL MdlChain , struct _DEVICE_OBJECT *DeviceObject ) ;
BOOLEAN (*FastIoReadCompressed)(struct _FILE_OBJECT *FileObject , PLARGE_INTEGER FileOffset ,
ULONG Length , ULONG LockKey , PVOID Buffer , PMDL *MdlChain ,
PIO_STATUS_BLOCK IoStatus , struct _COMPRESSED_DATA_INFO *CompressedDataInfo ,
ULONG CompressedDataInfoLength , struct _DEVICE_OBJECT *DeviceObject ) ;
BOOLEAN (*FastIoWriteCompressed)(struct _FILE_OBJECT *FileObject , PLARGE_INTEGER FileOffset ,
ULONG Length , ULONG LockKey , PVOID Buffer ,
PMDL *MdlChain , PIO_STATUS_BLOCK IoStatus , struct _COMPRESSED_DATA_INFO *CompressedDataInfo ,
ULONG CompressedDataInfoLength , struct _DEVICE_OBJECT *DeviceObject ) ;
BOOLEAN (*MdlReadCompleteCompressed)(struct _FILE_OBJECT *FileObject , PMDL MdlChain ,
struct _DEVICE_OBJECT *DeviceObject ) ;
BOOLEAN (*MdlWriteCompleteCompressed)(struct _FILE_OBJECT *FileObject , PLARGE_INTEGER FileOffset ,
PMDL MdlChain , struct _DEVICE_OBJECT *DeviceObject ) ;
BOOLEAN (*FastIoQueryOpen)(struct _IRP *Irp , PFILE_NETWORK_OPEN_INFORMATION NetworkInformation ,
struct _DEVICE_OBJECT *DeviceObject ) ;
NTSTATUS (*ReleaseForModWrite)(struct _FILE_OBJECT *FileObject , struct _ERESOURCE *ResourceToRelease ,
struct _DEVICE_OBJECT *DeviceObject ) ;
NTSTATUS (*AcquireForCcFlush)(struct _FILE_OBJECT *FileObject , struct _DEVICE_OBJECT *DeviceObject ) ;
NTSTATUS (*ReleaseForCcFlush)(struct _FILE_OBJECT *FileObject , struct _DEVICE_OBJECT *DeviceObject ) ;
};
typedef struct _FAST_IO_DISPATCH *PFAST_IO_DISPATCH;
enum _IO_ALLOCATION_ACTION {
KeepObject = 1,
DeallocateObject = 2,
DeallocateObjectKeepRegisters = 3
} ;
typedef enum _IO_ALLOCATION_ACTION IO_ALLOCATION_ACTION;
struct _IO_SECURITY_CONTEXT {
PSECURITY_QUALITY_OF_SERVICE SecurityQos ;
PACCESS_STATE AccessState ;
ACCESS_MASK DesiredAccess ;
ULONG FullCreateOptions ;
};
typedef struct _IO_SECURITY_CONTEXT *PIO_SECURITY_CONTEXT;
struct _VPB {
CSHORT Type ;
CSHORT Size ;
USHORT Flags ;
USHORT VolumeLabelLength ;
struct _DEVICE_OBJECT *DeviceObject ;
struct _DEVICE_OBJECT *RealDevice ;
ULONG SerialNumber ;
ULONG ReferenceCount ;
WCHAR VolumeLabel[(32U * sizeof(WCHAR )) / sizeof(WCHAR )] ;
};
typedef struct _VPB *PVPB;
struct _WAIT_CONTEXT_BLOCK {
KDEVICE_QUEUE_ENTRY WaitQueueEntry ;
IO_ALLOCATION_ACTION (*DeviceRoutine)(struct _DEVICE_OBJECT *DeviceObject , struct _IRP *Irp ,
PVOID MapRegisterBase , PVOID Context ) ;
PVOID DeviceContext ;
ULONG NumberOfMapRegisters ;
PVOID DeviceObject ;
PVOID CurrentIrp ;
PKDPC BufferChainingDpc ;
};
typedef struct _WAIT_CONTEXT_BLOCK WAIT_CONTEXT_BLOCK;
union __anonunion_Queue_43 {
LIST_ENTRY ListEntry ;
WAIT_CONTEXT_BLOCK Wcb ;
};
struct _DEVOBJ_EXTENSION;
struct _DEVICE_OBJECT {
CSHORT Type ;
USHORT Size ;
LONG ReferenceCount ;
struct _DRIVER_OBJECT *DriverObject ;
struct _DEVICE_OBJECT *NextDevice ;
struct _DEVICE_OBJECT *AttachedDevice ;
struct _IRP *CurrentIrp ;
PIO_TIMER Timer ;
ULONG Flags ;
ULONG Characteristics ;
PVPB Vpb ;
PVOID DeviceExtension ;
ULONG DeviceType ;
CCHAR StackSize ;
union __anonunion_Queue_43 Queue ;
ULONG AlignmentRequirement ;
KDEVICE_QUEUE DeviceQueue ;
KDPC Dpc ;
ULONG ActiveThreadCount ;
PSECURITY_DESCRIPTOR SecurityDescriptor ;
KEVENT DeviceLock ;
USHORT SectorSize ;
USHORT Spare1 ;
struct _DEVOBJ_EXTENSION *DeviceObjectExtension ;
PVOID Reserved ;
};
typedef struct _DEVICE_OBJECT DEVICE_OBJECT;
typedef struct _DEVICE_OBJECT *PDEVICE_OBJECT;
struct _DEVOBJ_EXTENSION {
CSHORT Type ;
USHORT Size ;
PDEVICE_OBJECT DeviceObject ;
};
struct _DRIVER_EXTENSION {
struct _DRIVER_OBJECT *DriverObject ;
NTSTATUS (*AddDevice)(struct _DRIVER_OBJECT *DriverObject , struct _DEVICE_OBJECT *PhysicalDeviceObject ) ;
ULONG Count ;
UNICODE_STRING ServiceKeyName ;