Use proper pump interface in IOCTL