Lines Matching defs:device
969 MACH_PORT_FACE device,
990 * Check for overlap on same device.
992 if (!(ps->ps_device != device
1012 ps->ps_device = device;
1055 ("device=0x%x,offset=0x%x,count=0x%x,record_size=0x%x,shift=%d,total_size=0x%x\n",
1056 device, offset, count, record_size,
1070 MACH_PORT_FACE device;
1080 null_security_token, dev_name, &device))
1084 if (!ds_device_get_status(device, DEV_GET_SIZE, info, &info_count)) {
1093 if (!default_pager_add_segment(bs, device,
1101 ipc_port_release_send(device);
2247 device_t device;
2251 device = dev_port_lookup(ps->ps_device);
2274 kr = ds_device_read_common(device,
2398 device_t device;
2399 device = dev_port_lookup(ps->ps_device);
2402 kr=ds_device_write_common(device,
2429 device_t device;
2430 device = dev_port_lookup(ps->ps_device);
2431 kr=ds_device_write_common(device,
3734 * Check for overlap on same device.
3797 ("device=0x%x,offset=0x%x,count=0x%x,record_size=0x%x,shift=%d,total_size=0x%x\n",
3798 device, offset, size, record_size,