fdd                42 usr/test/fdd/fdd.c 	device_t fdd;
fdd                49 usr/test/fdd/fdd.c 	error = device_open("fd0", 0, &fdd);
fdd                58 usr/test/fdd/fdd.c 	error = device_read(fdd, disk_buf, &size, sector);
fdd                61 usr/test/fdd/fdd.c 		device_close(fdd);
fdd                81 usr/test/fdd/fdd.c 	error = device_close(fdd);
fdd                91 usr/test/fdd/fdd.c 	device_t fdd;
fdd                97 usr/test/fdd/fdd.c 	error = device_open("fd0", 0, &fdd);
fdd               105 usr/test/fdd/fdd.c 	error = device_read(fdd, disk_buf, &size, sector);
fdd               108 usr/test/fdd/fdd.c 		device_close(fdd);
fdd               114 usr/test/fdd/fdd.c 	error = device_write(fdd, disk_buf, &size, sector);
fdd               117 usr/test/fdd/fdd.c 		device_close(fdd);
fdd               122 usr/test/fdd/fdd.c 	error = device_close(fdd);