Searched defs:kernel_addr (Results 1 – 2 of 2) sorted by relevance
492 let kernel_addr = GuestAddress(0x0); in load_elf32() localVariable504 let kernel_addr = GuestAddress(0x0); in load_elf64() localVariable516 let kernel_addr = GuestAddress(0x0); in bad_magic() localVariable529 let kernel_addr = GuestAddress(0x20_0000); in bad_endian() localVariable542 let kernel_addr = GuestAddress(0x0); in bad_phoff() localVariable555 let kernel_addr = GuestAddress(0x30_0000); in paddr_below_start() localVariable
153 let kernel_addr = GuestAddress(2 * 1024 * 1024); in load_arm64_valid() localVariable165 let kernel_addr = GuestAddress(2 * 1024 * 1024); in load_arm64_image_size_zero() localVariable181 let kernel_addr = GuestAddress(2 * 1024 * 1024); in load_arm64_bad_magic() localVariable