r0 = syz_open_dev$loop(&(0x7f0000000180), 0x0, 0x0) ioctl$BLKDISCARD(r0, 0x1277, &(0x7f00000001c0))