tag	line	file	source code
fd_copyout	2769	drivers/block/floppy.c	#define COPYOUT(x) ECALL(fd_copyout((void *)param, &(x), sizeof(x)))
fd_copyout	2861	drivers/block/floppy.c	ECALL(fd_copyout(ptr->data,
fd_copyout	3314	drivers/block/floppy.c	return fd_copyout((void *)param, outparam, size);