197 ofw_close(ofwh_t devh)  in ofw_close()  argument
203 		(u_ofwh_t)devh  in ofw_close()
207 		printf("ofw_close: devh=0x%x\n", devh);  in ofw_close()
214 ofw_read(ofwh_t devh, void *buf, size_t len)  in ofw_read()  argument
220 		(u_ofwh_t)devh,  in ofw_read()
227 		printf("ofw_read: devh=0x%x buf=%p len=%u\n", devh, buf, len);  in ofw_read()
234 ofw_write(ofwh_t devh, const void *buf, size_t len)  in ofw_write()  argument
240 		(u_ofwh_t)devh,  in ofw_write()
247 		printf("ofw_write: devh=0x%x buf=%p len=%u\n", devh, buf, len);  in ofw_write()
254 ofw_seek(ofwh_t devh, u_int64_t off)  in ofw_seek()  argument
260 		(u_ofwh_t)devh,  in ofw_seek()
267 		printf("ofw_seek: devh=0x%x off=0x%lx\n", devh, off);  in ofw_seek()