#include MPERS_DEFS
-MPERS_PRINTER_DECL(int, hdio_ioctl, struct tcb *tcp,
- const unsigned int code, const long arg)
+MPERS_PRINTER_DECL(int, hdio_ioctl, struct tcb *const tcp,
+ const unsigned int code, const kernel_ulong_t arg)
{
switch (code) {
case HDIO_GETGEO: