read              190 bsp/drv/dev/dma/i8237.c dma_setup(dma_t handle, void *addr, u_long count, int read)
read               85 bsp/drv/include/ddi.h void	 dma_setup(dma_t handle, void *addr, u_long count, int read);
read               81 usr/include/unistd.h ssize_t	 read(int, void *, size_t);