i386/junos/standford/2004/src/lab3/kern/pmap.h

   1 /* See COPYRIGHT for copyright information. */
   2
   3 #ifndef _KERN_PMAP_H_
   4 #define _KERN_PMAP_H_
   5
   6 #include <inc/pmap.h>
   7 #include <inc/assert.h>
   8
   9
  10 /* This macro takes a user supplied address and turns it into
  11  * something that will cause a fault if it is a kernel address.  ULIM
  12  * itself is guaranteed never to contain a valid page.
  13 */
  14 #define TRUP(_p)                                                \
  15 ({                                                              \
  16         register typeof((_p)) __m_p = (_p);                     \
  17         (u_int) __m_p > ULIM ? (typeof(_p)) ULIM : __m_p;       \
  18 })
  19
  20 // translates from virtual address to physical address
  21 #define PADDR(kva)                                              \
  22 ({                                                              \
  23         u_long a = (u_long) (kva);                              \
  24         if (a < KERNBASE)                                       \
  25                 panic("PADDR called with invalid kva %08lx", a);\
  26         a - KERNBASE;                                           \
  27 })
  28
  29 // translates from physical address to kernel virtual address
  30 #define KADDR(pa)                                               \
  31 ({                                                              \
  32         u_long ppn = PPN(pa);                                   \
  33         if (ppn >= npage)                                       \
  34                 panic("KADDR called with invalid pa %08lx", (u_long)pa);\
  35         (pa) + KERNBASE;                                        \
  36 })
  37
  38 extern char bootstacktop[], bootstack[];
  39
  40 extern u_long npage;
  41
  42
  43 extern struct Segdesc gdt[];
  44 extern struct Pseudodesc gdt_pd;
  45 extern struct Page *pages;
  46 extern u_long npage;
  47 extern u_long boot_cr3;
  48 extern Pde *boot_pgdir;
  49
  50 void i386_vm_init();
  51 void i386_detect_memory();
  52 void page_init(void);
  53 void page_check(void);
  54 int  page_alloc(struct Page **);
  55 void page_free(struct Page *);
  56 int  page_insert(Pde *, struct Page *, u_long, u_int);
  57 void page_remove(Pde *, u_long va);
  58 struct Page *page_lookup(Pde*, u_long, Pte**);
  59 void page_decref(struct Page*);
  60 void tlb_invalidate(Pde *, u_long va);
  61
  62 static inline u_long
  63 page2ppn(struct Page *pp)
  64 {
  65         return pp - pages;
  66 }
  67
  68 static inline u_long
  69 page2pa(struct Page *pp)
  70 {
  71         return page2ppn(pp)<<PGSHIFT;
  72 }
  73
  74 static inline struct Page *
  75 pa2page(u_long pa)
  76 {
  77         if (PPN(pa) >= npage)
  78                 panic("pa2page called with invalid pa");
  79         return &pages[PPN(pa)];
  80 }
  81
  82 static inline u_long
  83 page2kva(struct Page *pp)
  84 {
  85         return KADDR(page2pa(pp));
  86 }
  87
  88 int pgdir_walk(Pde *pgdir, u_long va, int create, Pte **ppte);
  89
  90 #endif /* _KERN_PMAP_H_ */