taglinefilesource code
fd_copyout2769drivers/block/floppy.c#define COPYOUT(x) ECALL(fd_copyout((void *)param, &(x), sizeof(x)))
fd_copyout2861drivers/block/floppy.cECALL(fd_copyout(ptr->data, 
fd_copyout3314drivers/block/floppy.creturn fd_copyout((void *)param, outparam, size);