167d4254dSFrans Kaashoek // Memory layout 267d4254dSFrans Kaashoek 3c3dcf479SFrans Kaashoek #define EXTMEM 0x100000 // Start of extended memory 4e25b74caSFrans Kaashoek #define PHYSTOP 0xE000000 // Top physical memory 5c3dcf479SFrans Kaashoek #define DEVSPACE 0xFE000000 // Other devices are at high addresses 667d4254dSFrans Kaashoek 7e25b74caSFrans Kaashoek // Key addresses for address space layout (see kmap in vm.c for layout) 815997d58SRobert Morris #define KERNBASE 0x80000000 // First kernel virtual address 9c3dcf479SFrans Kaashoek #define KERNLINK (KERNBASE+EXTMEM) // Address where kernel is linked 1067d4254dSFrans Kaashoek 1167d4254dSFrans Kaashoek #ifndef __ASSEMBLER__ 1267d4254dSFrans Kaashoek 137e7cb106SRobert Morris static inline uint v2p(void *a) { return ((uint) (a)) - KERNBASE; } 147e7cb106SRobert Morris static inline void *p2v(uint a) { return (void *) ((a) + KERNBASE); } 1567d4254dSFrans Kaashoek 1667d4254dSFrans Kaashoek #endif 1767d4254dSFrans Kaashoek 187e7cb106SRobert Morris #define V2P(a) (((uint) (a)) - KERNBASE) 197e7cb106SRobert Morris #define P2V(a) (((void *) (a)) + KERNBASE) 2067d4254dSFrans Kaashoek 21a56c8d60SFrans Kaashoek #define V2P_WO(x) ((x) - KERNBASE) // same as V2P, but without casts 22*abce9b81SJindong Zhang #define P2V_WO(x) ((x) + KERNBASE) // same as P2V, but without casts 23