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);