kernel_base       198 drivers/firmware/efi/libstub/arm32-stub.c 	unsigned long kernel_base;
kernel_base       208 drivers/firmware/efi/libstub/arm32-stub.c 	kernel_base = round_up(dram_base, SZ_128M);
kernel_base       217 drivers/firmware/efi/libstub/arm32-stub.c 	kernel_base += TEXT_OFFSET - 5 * PAGE_SIZE;
kernel_base       219 drivers/firmware/efi/libstub/arm32-stub.c 	status = reserve_kernel_base(sys_table, kernel_base, reserve_addr,
kernel_base       233 drivers/firmware/efi/libstub/arm32-stub.c 				     kernel_base + MAX_UNCOMP_KERNEL_SIZE, 0, 0);