334 ofw_close(ofwh_t devh)  in ofw_close()  argument
340 		(u_ofwh_t)devh  in ofw_close()
344 		printf("ofw_close: devh=0x%x\n", devh);  in ofw_close()
373 ofw_read(ofwh_t devh, void *buf, size_t len)  in ofw_read()  argument
379 		(u_ofwh_t)devh,  in ofw_read()
386 		printf("ofw_read: devh=0x%x buf=%p len=%u\n", devh, buf, len);  in ofw_read()
393 ofw_write(ofwh_t devh, const void *buf, size_t len)  in ofw_write()  argument
399 		(u_ofwh_t)devh,  in ofw_write()
406 		printf("ofw_write: devh=0x%x buf=%p len=%u\n", devh, buf, len);  in ofw_write()
413 ofw_seek(ofwh_t devh, uint64_t off)  in ofw_seek()  argument
419 		(u_ofwh_t)devh,  in ofw_seek()
426 		printf("ofw_seek: devh=0x%x off=0x%lx\n", devh, off);  in ofw_seek()