Lines Matching defs:device_id
520 uint16_t device_id;
523 device_id = VBOX_GET_AHCI_DEVICE(bios_dsk->drqp.dev_id);
524 if (device_id > BX_MAX_AHCI_DEVICES)
525 BX_PANIC("%s: device_id out of range %d\n", __func__, device_id);
528 bios_dsk->drqp.nsect, bios_dsk->drqp.lba, device_id,
529 bios_dsk->ahcidev[device_id].port);
532 ahci_port_init(bios_dsk->ahci_seg :> 0, bios_dsk->ahcidev[device_id].port);
552 uint16_t device_id;
555 device_id = VBOX_GET_AHCI_DEVICE(bios_dsk->drqp.dev_id);
556 if (device_id > BX_MAX_AHCI_DEVICES)
557 BX_PANIC("%s: device_id out of range %d\n", __func__, device_id);
560 bios_dsk->drqp.nsect, bios_dsk->drqp.lba, device_id,
561 bios_dsk->ahcidev[device_id].port);
564 ahci_port_init(bios_dsk->ahci_seg :> 0, bios_dsk->ahcidev[device_id].port);
577 uint16_t ahci_cmd_packet(uint16_t device_id, uint8_t cmdlen, char __far *cmdbuf,
596 device_id = VBOX_GET_AHCI_DEVICE(device_id);
600 device_id, bios_dsk->ahcidev[device_id].port);
612 ahci_port_init(bios_dsk->ahci_seg :> 0, bios_dsk->ahcidev[device_id].port);