Lines Matching +full:x86_64 +full:- +full:linux
8 * SPDX-License-Identifier: GPL-2.0+
164 #if !CONFIG_IS_ENABLED(X86_64)
194 * cpu_enable_paging_pae() - Enable PAE-paging
201 * cpu_disable_paging_pae() - Disable paging and PAE
206 * cpu_has_64bit() - Check if the CPU has 64-bit support
208 * @return 1 if this CPU supports long mode (64-bit), 0 if not
213 * cpu_vendor_name() - Get CPU vendor name
224 * cpu_get_name() - Get the name of the current cpu
234 * cpu_call64() - Jump to a 64-bit Linux kernel (internal function)
236 * The kernel is uncompressed and the 64-bit entry point is expected to be
239 * This function is used internally - see cpu_jump_to_64bit() for a more
249 * cpu_call32() - Jump to a 32-bit entry point
251 * @code_seg32: 32-bit code segment to use (GDT offset, e.g. 0x20)
252 * @target: Pointer to the start of the 32-bit U-Boot image/entry point
253 * @table: Pointer to start of info table to pass to U-Boot
258 * cpu_jump_to_64bit() - Jump to a 64-bit Linux kernel
260 * The kernel is uncompressed and the 64-bit entry point is expected to be
269 * cpu_jump_to_64bit_uboot() - special function to jump from SPL to U-Boot
271 * This handles calling from 32-bit SPL to 64-bit U-Boot.
273 * @target: Address of U-Boot in RAM
278 * cpu_get_family_model() - Get the family and model for the CPU
285 * cpu_get_stepping() - Get the stepping value for the CPU