Method get_device_bdf

vmm/src/device_manager.rs:4536–4538

Get the guest PCI BDF for a device ID. Returns None if the device ID is not found. Used for resolving Generic Initiator device_id to BDF in ACPI generation.

(&self, device_id: &str)

    // Returns None if the device ID is not found.
    // Used for resolving Generic Initiator device_id to BDF in ACPI generation.
    pub fn get_device_bdf(&self, device_id: &str) -> Option<PciBdf> {
        self.device_id_to_bdf.get(device_id).copied()
    }

    #[cfg(any(target_arch = "aarch64", target_arch = "riscv64"))]
    pub fn cmdline_additions(&self) -> &[String] {