Searched refs:reserve_addr (Results 1 – 2 of 2) sorted by relevance
19 unsigned long *reserve_addr, in handle_kernel_image() argument32 SZ_2M, reserve_addr); in handle_kernel_image()37 memcpy((void *)*reserve_addr + TEXT_OFFSET, (void *)*image_addr, in handle_kernel_image()39 *image_addr = *reserve_addr + TEXT_OFFSET; in handle_kernel_image()
158 unsigned long *reserve_addr,184 unsigned long reserve_addr = 0; in efi_entry() local211 &reserve_addr, in efi_entry()294 efi_free(sys_table, reserve_size, reserve_addr); in efi_entry()