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