]>
Commit | Line | Data |
---|---|---|
f1584bb0 JW |
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 | ||
68beefa8 JW |
11 | #ifndef __PAGING_H |
12 | #define __PAGING_H | |
13 | ||
4e3ef36b JW |
14 | #include <stdint.h> |
15 | ||
923ea2c2 JW |
16 | extern unsigned long v2p(void *virt); |
17 | extern void *p2v(unsigned long phys); | |
4e3ef36b | 18 | extern void *p2v64(uint64_t phys); |
9343e933 | 19 | extern int addmap(unsigned long vaddr, unsigned long paddr); |
e8f20fe7 | 20 | extern int addmap_4m(unsigned long vaddr, unsigned long paddr); |
68beefa8 JW |
21 | |
22 | #endif |