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