tag	line	file	source code
fd_copyout	2880	drivers/block/floppy.c	#define COPYOUT(x) ECALL(fd_copyout( (void *)param, &(x), sizeof(x)))
fd_copyout	2972	drivers/block/floppy.c	ECALL(fd_copyout(ptr->data,