[netwatch.git] / include / paging.h

/* minilib.h
 * Definitions for page-table mapping and demapping
 * NetWatch system management mode administration console
 *
 * Copyright (c) 2008 Jacob Potter and Joshua Wise.  All rights reserved.
 * This program is free software; you can redistribute and/or modify it under
 * the terms found in the file LICENSE in the root of this source tree. 
 *
 */

#ifndef __PAGING_H
#define __PAGING_H

#include <stdint.h>

extern unsigned long v2p(void *virt);
extern void *p2v(unsigned long phys);
extern void *p2v64(uint64_t phys);
extern int addmap(unsigned long vaddr, unsigned long paddr);
extern int addmap_4m(unsigned long vaddr, unsigned long paddr);

#endif
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>
4e3ef36b JW	15
923ea2c2 JW	16	extern unsigned long v2p(void *virt);
923ea2c2 JW	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
68beefa8 JW	22	#endif