Embedded Xinu Operating System
An ongoing research project and educational operating system.
Main Page
Modules
Data Structures
Files
File List
Globals
All
Data Structures
Files
Functions
Variables
Typedefs
Enumerations
Macros
Groups
Pages
system
platforms
arm-rpi3
mmu.h
1
#ifndef _MMU_H_
2
#define _MMU_H_
3
4
#define MMUTABLEBASE 0x00004000
5
6
#ifndef __ASSEMBLER__
7
extern
void
mmu_initialize(
void
);
8
extern
void
start_mmu(
unsigned
int
);
9
extern
void
stop_mmu(
void
);
10
extern
void
invalidate_tlbs(
void
);
11
extern
unsigned
int
mmu_section
(
unsigned
int
,
unsigned
int
,
unsigned
int
);
12
extern
void
mmu_init
(
void
);
13
14
extern
void
PUT32(
unsigned
int
,
unsigned
int
);
15
extern
unsigned
int
GET32(
unsigned
int
);
16
17
#endif
/* __ASSEMBLER__ */
18
19
#endif
/* _MMU_H_ */
mmu_init
void mmu_init()
Definition:
mmu.c:41
mmu_section
unsigned int mmu_section(unsigned int vadd, unsigned int padd, unsigned int flags)
Definition:
mmu.c:23
Generated by
1.8.5