4 extern unsigned long v2p(void *virt);
5 extern void *p2v(unsigned long phys);
6 extern int addmap(unsigned long vaddr, unsigned long paddr);
7 extern int addmap_4m(unsigned long vaddr, unsigned long paddr);
8 extern void *demap(unsigned long _pd, unsigned long vaddr);