is this a ddk header file documentation error?

is this a ddk header file documentation error?

file:
\NTDDK\inc\ddk\ntddk.h
line 14370:

// 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.
//
is not the SystemBuffer both input and output
while UserBuffer is context sensitive, for use of apc normally?

assaf


You are currently subscribed to ntdev as: $subst(‘Recip.EmailAddr’)
To unsubscribe send a blank email to leave-ntdev-$subst(‘Recip.MemberIDChar’)@lists.osr.com