// // The following user parameters are based on the service that is being // invoked. Drivers and file systems can determine which set to use based // on the above major and minor function codes. //
union {
// // System service parameters for: NtCreateFile //
// // System service parameters for: NtFlushBuffersFile // // No extra user-supplied parameters. //
// // System service parameters for: NtDeviceIoControlFile // // Note that the user's output buffer is stored in the UserBuffer field // and the user's input buffer is stored in the SystemBuffer field. //