31 const AARCH64_KERNEL_OFFSET: u64 = 0x80000;
32 const AARCH64_FDT_MAX_SIZE: u64 = 0x200000;
33 const AARCH64_INITRD_ALIGN: u64 = 0x1000000;
36 const AARCH64_GIC_DIST_SIZE: u64 = 0x10000;
37 const AARCH64_GIC_CPUI_SIZE: u64 = 0x20000;
40 const AARCH64_PHYS_MEM_START: u64 = 0x80000000;
41 const AARCH64_AXI_BASE: u64 = 0x40000000;
45 const AARCH64_GIC_DIST_BASE: u64 = AARCH64_AXI_BASE - AARCH64_GIC_DIST_SIZE;
46 const AARCH64_GIC_CPUI_BASE: u64 = AARCH64_GIC_DIST_BASE - AARCH64_GIC_CPUI_SIZE;
53 const PSR_MODE_EL1H: u64 = 0x00000005;
54 const PSR_F_BIT: u64 = 0x00000040;
55 const PSR_I_BIT: u64 = 0x00000080;
56 const PSR_A_BIT: u64 = 0x00000100;
57 const PSR_D_BIT: u64 = 0x00000200;
65 const KVM_REG_ARM64: u64 = 0x6000000000000000;
66 const KVM_REG_SIZE_U64: u64 = 0x0030000000000000;
67 const KVM_REG_ARM_COPROC_SHIFT: u64 = 16;
68 const KVM_REG_ARM_CORE: u64 = 0x0010 << KVM_REG_ARM_COPROC_SHIFT;
75             | ((offset__of!(kvm_sys::user_pt_regs, $reg) / 4) as u64)
84 const AARCH64_SERIAL_SIZE: u64 = 0x8;
93 const AARCH64_RTC_ADDR: u64 = 0x2000;
95 const AARCH64_RTC_SIZE: u64 = 0x1000;
100 const AARCH64_PCI_CFG_BASE: u64 = 0x10000;
102 const AARCH64_PCI_CFG_SIZE: u64 = 0x1000000;
104 const AARCH64_MMIO_BASE: u64 = 0x1010000;
106 const AARCH64_MMIO_SIZE: u64 = 0x100000;
178 pub fn arch_memory_regions(size: u64) -> Vec<(GuestAddress, u64)> {  in arch_memory_regions()  argument
182 fn fdt_offset(mem_size: u64) -> u64 {  in fdt_offset()  argument
224                 cpu_id as u64,  in build_vm()
225                 vcpu_count as u64,  in build_vm()
287         let kernel_size = arch::load_image(&mem, kernel_image, get_kernel_addr(), u64::max_value())  in build_vm()
289         let kernel_end = get_kernel_addr().offset() + kernel_size as u64;  in build_vm()
320         mem_size: u64,  in setup_system_memory()  argument
326         kernel_end: u64,  in setup_system_memory()  argument
359     fn setup_memory(mem_size: u64) -> Result<GuestMemory> {  in setup_memory()
365     fn get_device_addr_base_size(mem_size: u64) -> (u64, u64) {  in get_device_addr_base_size()  argument
367         let size = u64::max_value() - base;  in get_device_addr_base_size()
383     fn get_resource_allocator(mem_size: u64, gpu_allocation: bool) -> SystemAllocator {  in get_resource_allocator()  argument
418         let cpu_if_addr: u64 = AARCH64_GIC_CPUI_BASE;  in create_irq_chip()
419         let dist_if_addr: u64 = AARCH64_GIC_DIST_BASE;  in create_irq_chip()
420         let raw_cpu_if_addr = &cpu_if_addr as *const u64;  in create_irq_chip()  constant
421         let raw_dist_if_addr = &dist_if_addr as *const u64;  in create_irq_chip()  constant
425             attr: kvm_sys::KVM_VGIC_V2_ADDR_TYPE_CPU as u64,  in create_irq_chip()
426             addr: raw_cpu_if_addr as u64,  in create_irq_chip()
431             attr: kvm_sys::KVM_VGIC_V2_ADDR_TYPE_DIST as u64,  in create_irq_chip()
432             addr: raw_dist_if_addr as u64,  in create_irq_chip()
469             addr: nr_irqs_ptr as u64,  in create_irq_chip()
483             attr: kvm_sys::KVM_DEV_ARM_VGIC_CTRL_INIT as u64,  in create_irq_chip()
503         cpu_id: u64,  in configure_vcpu()  argument
504         _num_cpus: u64,  in configure_vcpu()  argument
525         let mut data: u64;  in configure_vcpu()
526         let mut reg_id: u64;  in configure_vcpu()
541             data = (AARCH64_PHYS_MEM_START + fdt_offset(mem_size)) as u64;  in configure_vcpu()