]>
Commit | Line | Data |
---|---|---|
1 | /* minilib.h | |
2 | * Definitions for page-table mapping and demapping | |
3 | * NetWatch system management mode administration console | |
4 | * | |
5 | * Copyright (c) 2008 Jacob Potter and Joshua Wise. All rights reserved. | |
6 | * This program is free software; you can redistribute and/or modify it under | |
7 | * the terms found in the file LICENSE in the root of this source tree. | |
8 | * | |
9 | */ | |
10 | ||
11 | #ifndef __PAGING_H | |
12 | #define __PAGING_H | |
13 | ||
14 | #include <stdint.h> | |
15 | ||
16 | extern unsigned long v2p(void *virt); | |
17 | extern void *p2v(unsigned long phys); | |
18 | extern void *p2v64(uint64_t phys); | |
19 | extern int addmap(unsigned long vaddr, unsigned long paddr); | |
20 | extern int addmap_4m(unsigned long vaddr, unsigned long paddr); | |
21 | ||
22 | #endif |