interface_ioctl
return interface_ioctl(((interface_cookie *)cookie)->cookie, op, arg, len);
status_t interface_ioctl(void *cookie, uint32 op, void *arg, size_t len);
