#define EXTPHYSMEM 0x100000

#define KADDR(a) ((void *) a)