taglinefilesource code
ECALL2752drivers/block/floppy.cECALL(verify_area(VERIFY_WRITE,param,size));
ECALL2764drivers/block/floppy.cECALL(verify_area(VERIFY_READ,param,size));
ECALL2769drivers/block/floppy.c#define COPYOUT(x) ECALL(fd_copyout((void *)param, &(x), sizeof(x)))
ECALL2770drivers/block/floppy.c#define COPYIN(x) ECALL(fd_copyin((void *)param, &(x), sizeof(x)))
ECALL2861drivers/block/floppy.cECALL(fd_copyout(ptr->data, 
ECALL2944drivers/block/floppy.cECALL( verify_area( VERIFY_WRITE, ptr->data, 
ECALL2947drivers/block/floppy.cECALL(fd_copyin(ptr->data, ptr->kernel_data, 
ECALL3203drivers/block/floppy.cECALL(normalize_0x02xx_ioctl(&cmd, &size));
ECALL3205drivers/block/floppy.cECALL(xlate_0x00xx_ioctl(&cmd, &size));
ECALL3216drivers/block/floppy.cECALL(verify_area(VERIFY_WRITE,(void *) param, size));
ECALL3221drivers/block/floppy.cECALL(fd_copyin((void *)param, &inparam, size))