Use GUEST_LOCAL_APIC_ADDR constant when building guest MADT

Author: ALSchwalm

mythril/src/kmain.rs

@@ -63,7 +63,7 @@ fn build_vm(
     );
 
     let mut madt = acpi::madt::MADTBuilder::<[_; 8]>::new();
-    madt.set_ica(0xfee00000);
+    madt.set_ica(vm::GUEST_LOCAL_APIC_ADDR.as_u64() as u32);
     madt.add_ics(acpi::madt::Ics::LocalApic {
         apic_id: 0,
         apic_uid: 0,

mythril/src/vm.rs

@@ -25,7 +25,8 @@ use spin::RwLock;
 static BIOS_BLOB: &'static [u8] = include_bytes!("blob/bios.bin");
 
 //TODO(alschwalm): this should always be reported by the relevant MSR
-const GUEST_LOCAL_APIC_ADDR: GuestPhysAddr = GuestPhysAddr::new(0xfee00000);
+/// The location of the local apic in the guest address space
+pub const GUEST_LOCAL_APIC_ADDR: GuestPhysAddr = GuestPhysAddr::new(0xfee00000);
 
 static VIRTUAL_MACHINES: RoAfterInit<VirtualMachines> =
     RoAfterInit::uninitialized();