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 #endif 23