r24441: Convert reply_ioctl to the new API