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