iokit/Kernel/IOUserClient.cpp

1257 			        IOOptionBits * options,
1265 	IOOptionBits		type,
1267 	IOOptionBits		mapFlags,
1275 	IOOptionBits		type,
1277 	IOOptionBits		mapFlags,
1281     IOOptionBits	options = 0;
1398                                         IOReturn result, io_user_reference_t args[], UInt32 numArgs, IOOptionBits options)
1410                                         IOReturn result, io_user_reference_t args[], UInt32 numArgs, IOOptionBits options)
2207                                               (IOOptionBits) response ));
3249     IOOptionBits	options = 0;