2 * Copyright (c) 2014 The Chromium OS Authors.
4 * SPDX-License-Identifier: GPL-2.0+
11 * cpu_enable_paging_pae() - Enable PAE-paging
13 * @pdpt: Value to set in cr3 (PDPT or PML4T)
15 void cpu_enable_paging_pae(ulong cr3);
18 * cpu_disable_paging_pae() - Disable paging and PAE
20 void cpu_disable_paging_pae(void);
23 * cpu_has_64bit() - Check if the CPU has 64-bit support
25 * @return 1 if this CPU supports long mode (64-bit), 0 if not
27 int cpu_has_64bit(void);
30 * cpu_call64() - Jump to a 64-bit Linux kernel (internal function)
32 * The kernel is uncompressed and the 64-bit entry point is expected to be
35 * This function is used internally - see cpu_jump_to_64bit() for a more
38 * @pgtable: Address of 24KB area containing the page table
39 * @setup_base: Pointer to the setup.bin information for the kernel
40 * @target: Pointer to the start of the kernel image
42 void cpu_call64(ulong pgtable, ulong setup_base, ulong target);
45 * cpu_jump_to_64bit() - Jump to a 64-bit Linux kernel
47 * The kernel is uncompressed and the 64-bit entry point is expected to be
50 * @setup_base: Pointer to the setup.bin information for the kernel
51 * @target: Pointer to the start of the kernel image
53 int cpu_jump_to_64bit(ulong setup_base, ulong target);