home *** CD-ROM | disk | FTP | other *** search
/ Solo Programadores 22 / SOLO_22.iso / packages / win32ada / data.z / win32-winioctl.ads < prev    next >
Encoding:
Text File  |  1996-03-15  |  23.8 KB  |  372 lines
  1. -- $Source: /home/harp/1/proto/monoBANK/winnt/win32-winioctl.ads,v $ 
  2. -- $Revision: 1.11 $ $Date: 96/03/15 12:57:41 $ $Author: stm $ 
  3. -- See end of file for Copyright (c) information.
  4.  
  5. with Win32.Winnt;
  6.  
  7. package Win32.Winioctl is
  8.  
  9.     FILE_DEVICE_BEEP               : constant := 16#1#;     -- winioctl.h:33
  10.     FILE_DEVICE_CD_ROM             : constant := 16#2#;     -- winioctl.h:34
  11.     FILE_DEVICE_CD_ROM_FILE_SYSTEM : constant := 16#3#;     -- winioctl.h:35
  12.     FILE_DEVICE_CONTROLLER         : constant := 16#4#;     -- winioctl.h:36
  13.     FILE_DEVICE_DATALINK           : constant := 16#5#;     -- winioctl.h:37
  14.     FILE_DEVICE_DFS                : constant := 16#6#;     -- winioctl.h:38
  15.     FILE_DEVICE_DISK               : constant := 16#7#;     -- winioctl.h:39
  16.     FILE_DEVICE_DISK_FILE_SYSTEM   : constant := 16#8#;     -- winioctl.h:40
  17.     FILE_DEVICE_FILE_SYSTEM        : constant := 16#9#;     -- winioctl.h:41
  18.     FILE_DEVICE_INPORT_PORT        : constant := 16#a#;     -- winioctl.h:42
  19.     FILE_DEVICE_KEYBOARD           : constant := 16#b#;     -- winioctl.h:43
  20.     FILE_DEVICE_MAILSLOT           : constant := 16#c#;     -- winioctl.h:44
  21.     FILE_DEVICE_MIDI_IN            : constant := 16#d#;     -- winioctl.h:45
  22.     FILE_DEVICE_MIDI_OUT           : constant := 16#e#;     -- winioctl.h:46
  23.     FILE_DEVICE_MOUSE              : constant := 16#f#;     -- winioctl.h:47
  24.     FILE_DEVICE_MULTI_UNC_PROVIDER : constant := 16#10#;    -- winioctl.h:48
  25.     FILE_DEVICE_NAMED_PIPE         : constant := 16#11#;    -- winioctl.h:49
  26.     FILE_DEVICE_NETWORK            : constant := 16#12#;    -- winioctl.h:50
  27.     FILE_DEVICE_NETWORK_BROWSER    : constant := 16#13#;    -- winioctl.h:51
  28.     FILE_DEVICE_NETWORK_FILE_SYSTEM: constant := 16#14#;    -- winioctl.h:52
  29.     FILE_DEVICE_NULL               : constant := 16#15#;    -- winioctl.h:53
  30.     FILE_DEVICE_PARALLEL_PORT      : constant := 16#16#;    -- winioctl.h:54
  31.     FILE_DEVICE_PHYSICAL_NETCARD   : constant := 16#17#;    -- winioctl.h:55
  32.     FILE_DEVICE_PRINTER            : constant := 16#18#;    -- winioctl.h:56
  33.     FILE_DEVICE_SCANNER            : constant := 16#19#;    -- winioctl.h:57
  34.     FILE_DEVICE_SERIAL_MOUSE_PORT  : constant := 16#1a#;    -- winioctl.h:58
  35.     FILE_DEVICE_SERIAL_PORT        : constant := 16#1b#;    -- winioctl.h:59
  36.     FILE_DEVICE_SCREEN             : constant := 16#1c#;    -- winioctl.h:60
  37.     FILE_DEVICE_SOUND              : constant := 16#1d#;    -- winioctl.h:61
  38.     FILE_DEVICE_STREAMS            : constant := 16#1e#;    -- winioctl.h:62
  39.     FILE_DEVICE_TAPE               : constant := 16#1f#;    -- winioctl.h:63
  40.     FILE_DEVICE_TAPE_FILE_SYSTEM   : constant := 16#20#;    -- winioctl.h:64
  41.     FILE_DEVICE_TRANSPORT          : constant := 16#21#;    -- winioctl.h:65
  42.     FILE_DEVICE_UNKNOWN            : constant := 16#22#;    -- winioctl.h:66
  43.     FILE_DEVICE_VIDEO              : constant := 16#23#;    -- winioctl.h:67
  44.     FILE_DEVICE_VIRTUAL_DISK       : constant := 16#24#;    -- winioctl.h:68
  45.     FILE_DEVICE_WAVE_IN            : constant := 16#25#;    -- winioctl.h:69
  46.     FILE_DEVICE_WAVE_OUT           : constant := 16#26#;    -- winioctl.h:70
  47.     FILE_DEVICE_8042_PORT          : constant := 16#27#;    -- winioctl.h:71
  48.     FILE_DEVICE_NETWORK_REDIRECTOR : constant := 16#28#;    -- winioctl.h:72
  49.     METHOD_BUFFERED                : constant := 0;         -- winioctl.h:88
  50.     METHOD_IN_DIRECT               : constant := 1;         -- winioctl.h:89
  51.     METHOD_OUT_DIRECT              : constant := 2;         -- winioctl.h:90
  52.     METHOD_NEITHER                 : constant := 3;         -- winioctl.h:91
  53.     FILE_ANY_ACCESS                : constant := 0;         -- winioctl.h:103
  54.     FILE_READ_ACCESS               : constant := 16#1#;     -- winioctl.h:104
  55.     FILE_WRITE_ACCESS              : constant := 16#2#;     -- winioctl.h:105
  56.     IOCTL_DISK_BASE                : constant := 16#7#;     -- winioctl.h:116
  57.     IOCTL_DISK_GET_DRIVE_GEOMETRY  : constant := 16#70000#; -- winioctl.h:117
  58.     IOCTL_DISK_GET_PARTITION_INFO  : constant := 16#74004#; -- winioctl.h:118
  59.     IOCTL_DISK_SET_PARTITION_INFO  : constant := 16#7c008#; -- winioctl.h:119
  60.     IOCTL_DISK_GET_DRIVE_LAYOUT    : constant := 16#7400c#; -- winioctl.h:120
  61.     IOCTL_DISK_SET_DRIVE_LAYOUT    : constant := 16#7c010#; -- winioctl.h:121
  62.     IOCTL_DISK_VERIFY              : constant := 16#70014#; -- winioctl.h:122
  63.     IOCTL_DISK_FORMAT_TRACKS       : constant := 16#7c018#; -- winioctl.h:123
  64.     IOCTL_DISK_REASSIGN_BLOCKS     : constant := 16#7c01c#; -- winioctl.h:124
  65.     IOCTL_DISK_PERFORMANCE         : constant := 16#70020#; -- winioctl.h:125
  66.     IOCTL_DISK_IS_WRITABLE         : constant := 16#70024#; -- winioctl.h:126
  67.     IOCTL_DISK_LOGGING             : constant := 16#70028#; -- winioctl.h:127
  68.     IOCTL_DISK_FORMAT_TRACKS_EX    : constant := 16#7c02c#; -- winioctl.h:128
  69.     IOCTL_DISK_CHECK_VERIFY        : constant := 16#74800#; -- winioctl.h:135
  70.     IOCTL_DISK_MEDIA_REMOVAL       : constant := 16#74804#; -- winioctl.h:136
  71.     IOCTL_DISK_EJECT_MEDIA         : constant := 16#74808#; -- winioctl.h:137
  72.     IOCTL_DISK_LOAD_MEDIA          : constant := 16#7480c#; -- winioctl.h:138
  73.     IOCTL_DISK_RESERVE             : constant := 16#74810#; -- winioctl.h:139
  74.     IOCTL_DISK_RELEASE             : constant := 16#74814#; -- winioctl.h:140
  75.     IOCTL_DISK_FIND_NEW_DEVICES    : constant := 16#74818#; -- winioctl.h:141
  76.     IOCTL_DISK_REMOVE_DEVICE       : constant := 16#7481c#; -- winioctl.h:142
  77.     IOCTL_DISK_GET_MEDIA_TYPES     : constant := 16#70c00#; -- winioctl.h:144
  78.     PARTITION_ENTRY_UNUSED         : constant := 16#0#;     -- winioctl.h:150
  79.     PARTITION_FAT_12               : constant := 16#1#;     -- winioctl.h:151
  80.     PARTITION_XENIX_1              : constant := 16#2#;     -- winioctl.h:152
  81.     PARTITION_XENIX_2              : constant := 16#3#;     -- winioctl.h:153
  82.     PARTITION_FAT_16               : constant := 16#4#;     -- winioctl.h:154
  83.     PARTITION_EXTENDED             : constant := 16#5#;     -- winioctl.h:155
  84.     PARTITION_HUGE                 : constant := 16#6#;     -- winioctl.h:156
  85.     PARTITION_IFS                  : constant := 16#7#;     -- winioctl.h:157
  86.     PARTITION_UNIX                 : constant := 16#63#;    -- winioctl.h:158
  87.     VALID_NTFT                     : constant := 16#c0#;    -- winioctl.h:160
  88.     PARTITION_NTFT                 : constant := 16#80#;    -- winioctl.h:201
  89.     DISK_LOGGING_START             : constant := 0;         -- winioctl.h:412
  90.     DISK_LOGGING_STOP              : constant := 1;         -- winioctl.h:418
  91.     DISK_LOGGING_DUMP              : constant := 2;         -- winioctl.h:425
  92.     DISK_BINNING                   : constant := 3;         -- winioctl.h:436
  93.     IOCTL_SERIAL_LSRMST_INSERT     : constant := 16#1b007c#;-- winioctl.h:485
  94.     SERIAL_LSRMST_ESCAPE           : constant BYTE  := 16#0#;
  95.                                                             -- winioctl.h:492
  96.     SERIAL_LSRMST_LSR_DATA         : constant BYTE  := 16#1#;
  97.                                                             -- winioctl.h:499
  98.     SERIAL_LSRMST_LSR_NODATA       : constant BYTE  := 16#2#;
  99.                                                             -- winioctl.h:505
  100.     SERIAL_LSRMST_MST              : constant BYTE  := 16#3#;
  101.                                                             -- winioctl.h:511
  102.     FSCTL_LOCK_VOLUME              : constant := 16#90018#; -- winioctl.h:514
  103.     FSCTL_UNLOCK_VOLUME            : constant := 16#9001c#; -- winioctl.h:515
  104.     FSCTL_DISMOUNT_VOLUME          : constant := 16#90020#; -- winioctl.h:516
  105.     FSCTL_MOUNT_DBLS_VOLUME        : constant := 16#90034#; -- winioctl.h:517
  106.     FSCTL_GET_COMPRESSION          : constant := 16#9003c#; -- winioctl.h:518
  107.     FSCTL_SET_COMPRESSION          : constant := 16#90040#; -- winioctl.h:519
  108.     FSCTL_READ_COMPRESSION         : constant := 16#90047#; -- winioctl.h:520
  109.     FSCTL_WRITE_COMPRESSION        : constant := 16#9004b#; -- winioctl.h:521
  110.  
  111.     subtype DEVICE_TYPE is Win32.DWORD;                     -- winioctl.h:31
  112.  
  113.     type MEDIA_TYPE is (                                    -- winioctl.h:201
  114.         Unknown,                                            -- winioctl.h:202
  115.         F5_1Pt2_512,                                        -- winioctl.h:203
  116.         F3_1Pt44_512,                                       -- winioctl.h:204
  117.         F3_2Pt88_512,                                       -- winioctl.h:205
  118.         F3_20Pt8_512,                                       -- winioctl.h:206
  119.         F3_720_512,                                         -- winioctl.h:207
  120.         F5_360_512,                                         -- winioctl.h:208
  121.         F5_320_512,                                         -- winioctl.h:209
  122.         F5_320_1024,                                        -- winioctl.h:210
  123.         F5_180_512,                                         -- winioctl.h:211
  124.         F5_160_512,                                         -- winioctl.h:212
  125.         RemovableMedia,                                     -- winioctl.h:213
  126.         FixedMedia                                          -- winioctl.h:215
  127.     );                                                  
  128.     for MEDIA_TYPE'size use 32;                             -- winioctl.h:201
  129.     
  130.     type BAD_TRACK_NUMBER is new Win32.WORD;                -- winioctl.h:237
  131.  
  132.     type BIN_TYPES is (                                     -- winioctl.h:436
  133.         RequestSize,                                        -- winioctl.h:437
  134.         RequestLocation                                     -- winioctl.h:439
  135.     );                                                  
  136.     for BIN_TYPES'size use 32;                              -- winioctl.h:436
  137.  
  138.     type PBAD_TRACK_NUMBER is access all Win32.WORD;        -- winioctl.h:238
  139.  
  140.     type FORMAT_PARAMETERS;                                 -- winioctl.h:222
  141.     type FORMAT_EX_PARAMETERS;                              -- winioctl.h:245
  142.     type DISK_GEOMETRY;                                     -- winioctl.h:262
  143.     type PARTITION_INFORMATION;                             -- winioctl.h:276
  144.     type SET_PARTITION_INFORMATION;                         -- winioctl.h:293
  145.     type DRIVE_LAYOUT_INFORMATION;                          -- winioctl.h:302
  146.     type VERIFY_INFORMATION;                                -- winioctl.h:313
  147.     type REASSIGN_BLOCKS;                                   -- winioctl.h:323
  148.     type PREVENT_MEDIA_REMOVAL;                             -- winioctl.h:339
  149.     type DISK_PERFORMANCE;                                  -- winioctl.h:363
  150.     type DISK_RECORD;                                       -- winioctl.h:379
  151.     type DISK_LOGGING;                                      -- winioctl.h:394
  152.     type BIN_RANGE;                                         -- winioctl.h:445
  153.     type PERF_BIN;                                          -- winioctl.h:454
  154.     type BIN_COUNT;                                         -- winioctl.h:464
  155.     type BIN_RESULTS;                                       -- winioctl.h:473
  156.  
  157.     type PMEDIA_TYPE is access all MEDIA_TYPE;              -- winioctl.h:215
  158.     type PFORMAT_PARAMETERS is access all FORMAT_PARAMETERS;-- winioctl.h:228
  159.     type PFORMAT_EX_PARAMETERS is access all FORMAT_EX_PARAMETERS;
  160.                                                             -- winioctl.h:254
  161.     type PDISK_GEOMETRY is access all DISK_GEOMETRY;        -- winioctl.h:268
  162.     type PPARTITION_INFORMATION is access all PARTITION_INFORMATION;
  163.                                                             -- winioctl.h:285
  164.     type PSET_PARTITION_INFORMATION is access all SET_PARTITION_INFORMATION;
  165.                                                             -- winioctl.h:295
  166.     type PDRIVE_LAYOUT_INFORMATION is access all DRIVE_LAYOUT_INFORMATION;
  167.                                                             -- winioctl.h:306
  168.     type PVERIFY_INFORMATION is access all VERIFY_INFORMATION;
  169.                                                             -- winioctl.h:316
  170.     type PREASSIGN_BLOCKS is access all REASSIGN_BLOCKS;    -- winioctl.h:327
  171.     type PPREVENT_MEDIA_REMOVAL is access all PREVENT_MEDIA_REMOVAL;
  172.                                                             -- winioctl.h:341
  173.     type PDISK_PERFORMANCE is access all DISK_PERFORMANCE;  -- winioctl.h:371
  174.     type PDISK_RECORD is access all DISK_RECORD;            -- winioctl.h:387
  175.     type PDISK_LOGGING is access all DISK_LOGGING;          -- winioctl.h:398
  176.     type PBIN_RANGE is access all BIN_RANGE;                -- winioctl.h:448
  177.     type PPERF_BIN is access all PERF_BIN;                  -- winioctl.h:458
  178.     type PBIN_COUNT is access all BIN_COUNT;                -- winioctl.h:467
  179.     type PBIN_RESULTS is access all BIN_RESULTS;            -- winioctl.h:476
  180.                                                         
  181.     type FORMAT_PARAMETERS is                               -- winioctl.h:222
  182.         record                                          
  183.             MediaType          : MEDIA_TYPE;                -- winioctl.h:223
  184.             StartCylinderNumber: Win32.DWORD;               -- winioctl.h:224
  185.             EndCylinderNumber  : Win32.DWORD;               -- winioctl.h:225
  186.             StartHeadNumber    : Win32.DWORD;               -- winioctl.h:226
  187.             EndHeadNumber      : Win32.DWORD;               -- winioctl.h:227
  188.         end record;
  189.  
  190.     type FORMAT_EX_PARAMETERS is                            -- winioctl.h:245
  191.         record   
  192.             MediaType          : MEDIA_TYPE;                -- winioctl.h:246
  193.             StartCylinderNumber: Win32.DWORD;               -- winioctl.h:247
  194.             EndCylinderNumber  : Win32.DWORD;               -- winioctl.h:248
  195.             StartHeadNumber    : Win32.DWORD;               -- winioctl.h:249
  196.             EndHeadNumber      : Win32.DWORD;               -- winioctl.h:250
  197.             FormatGapLength    : Win32.WORD;                -- winioctl.h:251
  198.             SectorsPerTrack    : Win32.WORD;                -- winioctl.h:252
  199.             SectorNumber       : Win32.WORD_Array(0..Win32.ANYSIZE_ARRAY);
  200.                                                             -- winioctl.h:253
  201.         end record;
  202.  
  203.     type DISK_GEOMETRY is                                   -- winioctl.h:262
  204.         record
  205.             Cylinders        : Win32.Winnt.LARGE_INTEGER;   -- winioctl.h:263
  206.             MediaType        : MEDIA_TYPE;                  -- winioctl.h:264
  207.             TracksPerCylinder: Win32.DWORD;                 -- winioctl.h:265
  208.             SectorsPerTrack  : Win32.DWORD;                 -- winioctl.h:266
  209.             BytesPerSector   : Win32.DWORD;                 -- winioctl.h:267
  210.         end record;
  211.  
  212.     type PARTITION_INFORMATION is                           -- winioctl.h:276
  213.         record
  214.             StartingOffset     : Win32.Winnt.LARGE_INTEGER; -- winioctl.h:277
  215.             PartitionLength    : Win32.Winnt.LARGE_INTEGER; -- winioctl.h:278
  216.             HiddenSectors      : Win32.DWORD;               -- winioctl.h:279
  217.             PartitionNumber    : Win32.DWORD;               -- winioctl.h:280
  218.             PartitionType      : Win32.BYTE;                -- winioctl.h:281
  219.             BootIndicator      : Win32.Winnt.BOOLEAN;       -- winioctl.h:282
  220.             RecognizedPartition: Win32.Winnt.BOOLEAN;       -- winioctl.h:283
  221.             RewritePartition   : Win32.Winnt.BOOLEAN;       -- winioctl.h:284
  222.         end record;
  223.  
  224.     type SET_PARTITION_INFORMATION is                       -- winioctl.h:293
  225.         record
  226.             PartitionType: Win32.BYTE;                      -- winioctl.h:294
  227.         end record;
  228.  
  229.     type PARTITION_INFORMATION_Array is                     -- winioctl.h:305
  230.         array(integer range 0..Win32.ANYSIZE_ARRAY)                     
  231.         of aliased PARTITION_INFORMATION;                       
  232.                                                         
  233.     type DRIVE_LAYOUT_INFORMATION is                        -- winioctl.h:302
  234.         record
  235.             PartitionCount: Win32.DWORD;                    -- winioctl.h:303
  236.             Signature     : Win32.DWORD;                    -- winioctl.h:304
  237.             PartitionEntry: PARTITION_INFORMATION_Array;    -- winioctl.h:305
  238.         end record;
  239.  
  240.     type VERIFY_INFORMATION is                              -- winioctl.h:313
  241.         record
  242.             StartingOffset: Win32.Winnt.LARGE_INTEGER;      -- winioctl.h:314
  243.             Length        : Win32.DWORD;                    -- winioctl.h:315
  244.         end record;
  245.  
  246.     type REASSIGN_BLOCKS is                                 -- winioctl.h:323
  247.         record
  248.             Reserved   : Win32.WORD;                        -- winioctl.h:324
  249.             Count      : Win32.WORD;                        -- winioctl.h:325
  250.             BlockNumber: Win32.DWORD_Array(0..Win32.ANYSIZE_ARRAY);
  251.                                                             -- winioctl.h:326
  252.         end record;
  253.  
  254.     type PREVENT_MEDIA_REMOVAL is                           -- winioctl.h:339
  255.         record                                          
  256.             PreventMediaRemoval: Win32.Winnt.BOOLEAN;       -- winioctl.h:340
  257.         end record;
  258.  
  259.     type DISK_PERFORMANCE is                                -- winioctl.h:363
  260.         record
  261.             BytesRead   : Win32.Winnt.LARGE_INTEGER;        -- winioctl.h:364
  262.             BytesWritten: Win32.Winnt.LARGE_INTEGER;        -- winioctl.h:365
  263.             ReadTime    : Win32.Winnt.LARGE_INTEGER;        -- winioctl.h:366
  264.             WriteTime   : Win32.Winnt.LARGE_INTEGER;        -- winioctl.h:367
  265.             ReadCount   : Win32.DWORD;                      -- winioctl.h:368
  266.             WriteCount  : Win32.DWORD;                      -- winioctl.h:369
  267.             QueueDepth  : Win32.DWORD;                      -- winioctl.h:370
  268.         end record;
  269.  
  270.     type DISK_RECORD is                                     -- winioctl.h:379
  271.         record                                          
  272.             ByteOffset    : Win32.Winnt.LARGE_INTEGER;      -- winioctl.h:380
  273.             StartTime     : Win32.Winnt.LARGE_INTEGER;      -- winioctl.h:381
  274.             EndTime       : Win32.Winnt.LARGE_INTEGER;      -- winioctl.h:382
  275.             VirtualAddress: Win32.PVOID;                    -- winioctl.h:383
  276.             NumberOfBytes : Win32.DWORD;                    -- winioctl.h:384
  277.             DeviceNumber  : Win32.BYTE;                     -- winioctl.h:385
  278.             ReadRequest   : Win32.Winnt.BOOLEAN;            -- winioctl.h:386
  279.         end record;                                     
  280.                                                         
  281.     type DISK_LOGGING is                                    -- winioctl.h:394
  282.         record
  283.             C_Function   : Win32.BYTE;                      -- winioctl.h:395
  284.             BufferAddress: Win32.PVOID;                     -- winioctl.h:396
  285.             BufferSize   : Win32.DWORD;                     -- winioctl.h:397
  286.         end record;
  287.  
  288.     type BIN_RANGE is                                       -- winioctl.h:445
  289.         record                                          
  290.             StartValue: Win32.Winnt.LARGE_INTEGER;          -- winioctl.h:446
  291.             Length    : Win32.Winnt.LARGE_INTEGER;          -- winioctl.h:447
  292.         end record;                                     
  293.                                                         
  294.     type BIN_RANGE_Array is                                 -- winioctl.h:457
  295.         array(integer range 0..Win32.ANYSIZE_ARRAY)                     
  296.         of aliased BIN_RANGE;                                   
  297.                                                         
  298.     type PERF_BIN is                                        -- winioctl.h:454
  299.         record
  300.             NumberOfBins: Win32.DWORD;                      -- winioctl.h:455
  301.             TypeOfBin   : Win32.DWORD;                      -- winioctl.h:456
  302.             BinsRanges  : BIN_RANGE_Array;                  -- winioctl.h:457
  303.         end record;                                     
  304.                                                         
  305.     type BIN_COUNT is                                       -- winioctl.h:464
  306.         record                                          
  307.             BinRange: BIN_RANGE;                            -- winioctl.h:465
  308.             BinCount: Win32.DWORD;                          -- winioctl.h:466
  309.         end record;                                     
  310.                                                         
  311.     type BIN_COUNT_Array is                                 -- winioctl.h:475
  312.         array(integer range 0..Win32.ANYSIZE_ARRAY)                     
  313.         of aliased BIN_COUNT;                                   
  314.                                                         
  315.     type BIN_RESULTS is                                     -- winioctl.h:473
  316.         record                                          
  317.             NumberOfBins: Win32.DWORD;                      -- winioctl.h:474
  318.             BinCounts   : BIN_COUNT_Array;                  -- winioctl.h:475
  319.         end record;                                     
  320.                                                         
  321.     function CTL_CODE(DeviceType,                           -- winioctl.h:80
  322.                       Function_Name,
  323.                       Method,
  324.                       Access_Name: Win32.DWORD)
  325.              return Win32.DWORD;
  326.  
  327.     function IsRecognizedPartition(PartitionType: Win32.DWORD)
  328.       return Boolean;                                       -- winioctl.h:190
  329.  
  330. private
  331.  
  332.     pragma Convention(C, FORMAT_PARAMETERS);                -- winioctl.h:222
  333.     pragma Convention(C, FORMAT_EX_PARAMETERS);             -- winioctl.h:245
  334.     pragma Convention(C, DISK_GEOMETRY);                    -- winioctl.h:262
  335.     pragma Convention(C, PARTITION_INFORMATION);            -- winioctl.h:276
  336.     pragma Convention(C, SET_PARTITION_INFORMATION);        -- winioctl.h:293
  337.     pragma Convention(C, DRIVE_LAYOUT_INFORMATION);         -- winioctl.h:302
  338.     pragma Convention(C, VERIFY_INFORMATION);               -- winioctl.h:313
  339.     pragma Convention(C, REASSIGN_BLOCKS);                  -- winioctl.h:323
  340.     pragma Convention(C, PREVENT_MEDIA_REMOVAL);            -- winioctl.h:339
  341.     pragma Convention(C, DISK_PERFORMANCE);                 -- winioctl.h:363
  342.     pragma Convention(C, DISK_RECORD);                      -- winioctl.h:379
  343.     pragma Convention(C, DISK_LOGGING);                     -- winioctl.h:394
  344.     pragma Convention(C, BIN_RANGE);                        -- winioctl.h:445
  345.     pragma Convention(C, PERF_BIN);                         -- winioctl.h:454
  346.     pragma Convention(C, BIN_COUNT);                        -- winioctl.h:464
  347.     pragma Convention(C, BIN_RESULTS);                      -- winioctl.h:473
  348.  
  349.     pragma Inline(CTL_CODE);
  350.     pragma Inline(IsRecognizedPartition);
  351.  
  352. -------------------------------------------------------------------------------
  353. --
  354. -- THIS FILE AND ANY ASSOCIATED DOCUMENTATION IS PROVIDED WITHOUT CHARGE
  355. -- "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESS OR IMPLIED, INCLUDING
  356. -- BUT NOT LIMITED TO THE IMPLIED WARRANTIES OF MERCHANTABILITY AND/OR
  357. -- FITNESS FOR A PARTICULAR PURPOSE.  The user assumes the entire risk as to
  358. -- the accuracy and the use of this file.  This file may be used, copied,
  359. -- modified and distributed only by licensees of Microsoft Corporation's
  360. -- WIN32 Software Development Kit in accordance with the terms of the 
  361. -- licensee's End-User License Agreement for Microsoft Software for the
  362. -- WIN32 Development Kit.
  363. --
  364. -- Copyright (c) Intermetrics, Inc. 1995
  365. -- Portions (c) 1985-1994 Microsoft Corporation with permission.
  366. -- Microsoft is a registered trademark and Windows and Windows NT are
  367. -- trademarks of Microsoft Corporation.
  368. --
  369. -------------------------------------------------------------------------------
  370.  
  371. end Win32.Winioctl;
  372.