tag	line	file	source code
ECALL	2754	drivers/block/floppy.c	ECALL(verify_area(VERIFY_WRITE,param,size));
ECALL	2766	drivers/block/floppy.c	ECALL(verify_area(VERIFY_READ,param,size));
ECALL	2771	drivers/block/floppy.c	#define COPYOUT(x) ECALL(fd_copyout((void *)param, &(x), sizeof(x)))
ECALL	2772	drivers/block/floppy.c	#define COPYIN(x) ECALL(fd_copyin((void *)param, &(x), sizeof(x)))
ECALL	2863	drivers/block/floppy.c	ECALL(fd_copyout(ptr->data,
ECALL	2946	drivers/block/floppy.c	ECALL( verify_area( VERIFY_WRITE, ptr->data,
ECALL	2949	drivers/block/floppy.c	ECALL(fd_copyin(ptr->data, ptr->kernel_data,
ECALL	3205	drivers/block/floppy.c	ECALL(normalize_0x02xx_ioctl(&cmd, &size));
ECALL	3207	drivers/block/floppy.c	ECALL(xlate_0x00xx_ioctl(&cmd, &size));
ECALL	3218	drivers/block/floppy.c	ECALL(verify_area(VERIFY_WRITE,(void *) param, size));
ECALL	3223	drivers/block/floppy.c	ECALL(fd_copyin((void *)param, &inparam, size))