blob: 32930bd8c5c5559546f91e9d87efb2ece25decd6 [file] [log] [blame]
Simon Glass7bddac92014-10-10 08:21:52 -06001/*
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 */
15void cpu_enable_paging_pae(ulong cr3);
16
17/**
18 * cpu_disable_paging_pae() - Disable paging and PAE
19 */
20void cpu_disable_paging_pae(void);
21
Simon Glass92cc94a2014-10-10 08:21:54 -060022/**
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 */
27int cpu_has_64bit(void);
28
Simon Glass7bddac92014-10-10 08:21:52 -060029#endif