Searched refs:device_io_read_buffer (Results 1 - 10 of 10) sorted by relevance
| /netbsd-current/external/gpl3/gdb/dist/sim/ppc/ |
| H A D | corefile-n.h | 47 if (device_io_read_buffer(mapping->device,
|
| H A D | corefile.c | 332 if (device_io_read_buffer(mapping->device,
|
| H A D | device.h | 596 (unsigned) device_io_read_buffer
|
| H A D | hw_ide.c | 330 if (device_io_read_buffer(controller->current_drive->device,
|
| H A D | device.c | 1527 device_io_read_buffer(device *me,
1522 device_io_read_buffer(device *me, function
|
| /netbsd-current/external/gpl3/gdb.old/dist/sim/ppc/ |
| H A D | corefile-n.h | 47 if (device_io_read_buffer(mapping->device,
|
| H A D | corefile.c | 331 if (device_io_read_buffer(mapping->device,
|
| H A D | device.h | 596 (unsigned) device_io_read_buffer
|
| H A D | hw_ide.c | 330 if (device_io_read_buffer(controller->current_drive->device,
|
| H A D | device.c | 1538 device_io_read_buffer(device *me,
1533 device_io_read_buffer(device *me, function
|
Completed in 220 milliseconds