3c23ddb2d5
Use the new Sinfo::get_dev_info function to retrieve device information in the platform-specific get_msi_params function. If the requested device supports MSI, set the IRQ and MSI address/data register values to enable MSIs in remappable format (see VT-d specification, section 5.1.2.2). Currently only one MSI per device is supported as the subhandle in the data register is always set to 0. |
||
|---|---|---|
| .. | ||
| kernel | ||
| muen | ||
| crt0.s | ||
| idt.cc | ||
| mode_transition.s | ||
| platform_support.cc | ||
| tss.cc | ||