added ioctl function
better output type for printk