if (entering(tcp)) {
printfd(tcp, tcp->u_arg[0]);
tprints(", ");
- if (!ioctl_decode_command_number(tcp)) {
- iop = ioctl_lookup(tcp->u_arg[1]);
- if (iop) {
- tprints(iop->symbol);
- while ((iop = ioctl_next_match(iop)))
- tprintf(" or %s", iop->symbol);
- } else {
- ioctl_print_code(tcp->u_arg[1]);
- }
+ ret = ioctl_decode_command_number(tcp);
+ iop = ioctl_lookup(tcp->u_arg[1]);
+ if (iop) {
+ if (ret)
+ tprints(" or ");
+ tprints(iop->symbol);
+ while ((iop = ioctl_next_match(iop)))
+ tprintf(" or %s", iop->symbol);
+ } else if (!ret) {
+ ioctl_print_code(tcp->u_arg[1]);
}
ret = ioctl_decode(tcp);
} else {
printf("ioctl(-1, EVIOCGBIT(EV_KEY, 8), %p)"
" = -1 EBADF (Bad file descriptor)\n", &data);
+ (void) ioctl(-1, _IOR('M', 13, int), &data);
+ printf("ioctl(-1, MIXER_READ(13) or OTPSELECT, [MTD_OTP_OFF])"
+ " = -1 EBADF (Bad file descriptor)\n");
+
(void) ioctl(-1, _IOR(0xde, 0xad, data), &data);
printf("ioctl(-1, _IOC(_IOC_READ, 0xde, 0xad, 0x08), %p)"
" = -1 EBADF (Bad file descriptor)\n", &data);