tag	line	file	source code
ECALL	2794	drivers/block/floppy.c	ECALL(verify_area(VERIFY_WRITE,param,size));
ECALL	2806	drivers/block/floppy.c	ECALL(verify_area(VERIFY_READ,param,size));
ECALL	2811	drivers/block/floppy.c	#define COPYOUT(x) ECALL(fd_copyout((void *)param, &(x), sizeof(x)))
ECALL	2812	drivers/block/floppy.c	#define COPYIN(x) ECALL(fd_copyin((void *)param, &(x), sizeof(x)))
ECALL	2903	drivers/block/floppy.c	ECALL(fd_copyout(ptr->data,
ECALL	2986	drivers/block/floppy.c	ECALL( verify_area( VERIFY_WRITE, ptr->data,
ECALL	2989	drivers/block/floppy.c	ECALL(fd_copyin(ptr->data, ptr->kernel_data,
ECALL	3245	drivers/block/floppy.c	ECALL(normalize_0x02xx_ioctl(&cmd, &size));
ECALL	3247	drivers/block/floppy.c	ECALL(xlate_0x00xx_ioctl(&cmd, &size));
ECALL	3258	drivers/block/floppy.c	ECALL(verify_area(VERIFY_WRITE,(void *) param, size));
ECALL	3263	drivers/block/floppy.c	ECALL(fd_copyin((void *)param, &inparam, size))