I/O control command requirements

In the table below, X denotes an I/O control command class, a denotes a value of X, and u denotes an identifier.

Table 16. IoControlCommand requirements

expression	type	assertion/note pre/post-conditions
`a.name();`	`int`	Returns a value suitable for passing as the request argument to POSIX `ioctl()` (or equivalent).
`a.data();`	a pointer, convertible to `void*`