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