1 /* 2 * Copyright (c) 2014 The Chromium OS Authors. 3 * 4 * SPDX-License-Identifier: GPL-2.0+ 5 */ 6 7 #ifndef __X86_CPU_H 8 #define __X86_CPU_H 9 10 /** 11 * cpu_enable_paging_pae() - Enable PAE-paging 12 * 13 * @pdpt: Value to set in cr3 (PDPT or PML4T) 14 */ 15 void cpu_enable_paging_pae(ulong cr3); 16 17 /** 18 * cpu_disable_paging_pae() - Disable paging and PAE 19 */ 20 void cpu_disable_paging_pae(void); 21 22 /** 23 * cpu_has_64bit() - Check if the CPU has 64-bit support 24 * 25 * @return 1 if this CPU supports long mode (64-bit), 0 if not 26 */ 27 int cpu_has_64bit(void); 28 29 #endif 30