#![cfg(target_arch = "aarch64")]
use arm_vcpu::{Aarch64VCpuCreateConfig, Aarch64VCpuSetupConfig};
#[test]
fn test_vcpu_create_config_default() {
let config = Aarch64VCpuCreateConfig::default();
assert_eq!(config.mpidr_el1, 0);
assert_eq!(config.dtb_addr, 0);
}
#[test]
fn test_vcpu_create_config_fields() {
let config = Aarch64VCpuCreateConfig {
mpidr_el1: 0x80000000,
dtb_addr: 0x40000000,
};
assert_eq!(config.mpidr_el1, 0x80000000);
assert_eq!(config.dtb_addr, 0x40000000);
}
#[test]
fn test_vcpu_setup_config_default() {
let config = Aarch64VCpuSetupConfig::default();
assert_eq!(config.passthrough_interrupt, false);
assert_eq!(config.passthrough_timer, false);
}
#[test]
fn test_vcpu_setup_config_fields() {
let config = Aarch64VCpuSetupConfig {
passthrough_interrupt: true,
passthrough_timer: true,
};
assert_eq!(config.passthrough_interrupt, true);
assert_eq!(config.passthrough_timer, true);
}