Function validate_pci_device_id

vmm/src/config.rs:433–444

Check that the PCI device supplied is neither out of range nor does it use any reserved device ID.

(device_id: u8)

/// Check that the PCI device supplied is neither out of range nor does
/// it use any reserved device ID.
fn validate_pci_device_id(device_id: u8) -> ValidationResult<()> {
    if device_id >= pci::NUM_DEVICE_IDS {
        // Check the given ID is not out of range
        return Err(ValidationError::InvalidPciDeviceId(device_id));
    } else if device_id == pci::PCI_ROOT_DEVICE_ID {
        // Check the ID isn't any reserved one. Currently, only the device ID
        // for the root device is reserved.
        return Err(ValidationError::ReservedPciDeviceId(device_id));
    }

    Ok(())
}

pub type Result<T> = result::Result<T, Error>;