RTEMS 7.0-rc1
Loading...
Searching...
No Matches
page.h
1/* SPDX-License-Identifier: GPL-2.0+-with-RTEMS-exception */
2
3/*
4 * @file
5 *
6 * Copyright (C) 1998 Eric Valette (eric.valette@free.fr)
7 * Canon Centre Recherche France.
8 *
9 * The license and distribution terms for this file may be
10 * found in the file LICENSE in this distribution or at
11 * http://www.rtems.org/license/LICENSE.
12 */
13
14#ifndef _LIBCPU_i386_PAGE_H
15#define _LIBCPU_i386_PAGE_H
16
17#ifndef ASM
18
19#include <rtems/score/cpu.h>
20
21/* C declaration for paging management */
22
23extern int _CPU_is_cache_enabled(void);
24extern int _CPU_is_paging_enabled(void);
25extern int init_paging(void);
26extern void _CPU_enable_paging(void);
27extern void _CPU_disable_paging(void);
28extern void _CPU_disable_cache(void);
29extern void _CPU_enable_cache(void);
30extern int _CPU_map_phys_address
31 (void **mappedAddress, void *physAddress,
32 int size, int flag);
33extern int _CPU_unmap_virt_address (void *mappedAddress, int size);
34extern int _CPU_change_memory_mapping_attribute
35 (void **newAddress, void *mappedAddress,
36 unsigned int size, unsigned int flag);
37extern int _CPU_display_memory_attribute(void);
38
39# endif /* ASM */
40
41#endif