include/paging.h

   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