Searched refs:AARCH64_KERNEL_OFFSET (Results 1 – 1 of 1) sorted by relevance
28 const AARCH64_KERNEL_OFFSET: u64 = 0x80000; constant84 GuestAddress(AARCH64_PHYS_MEM_START + AARCH64_KERNEL_OFFSET) in get_kernel_addr()510 AARCH64_PHYS_MEM_START + AARCH64_KERNEL_OFFSET in configure_vcpu_early()