KERNEL_BASE_PHYS
#define KERNEL_BASE_PHYS ((paddr_t)KERNEL_BASE_phys)
#define KERNEL_BASE_PHYS 0x20200000
#define KERNEL_BASE_PHYS ((paddr_t)KERNEL_BASE_phys)
#define KERNEL_BASE_PHYS ((paddr_t)&KERNEL_BASE_phys)
#define KERNEL_BASE_PHYS ((paddr_t)KERNEL_BASE_phys)
#define KERNEL_BASE_PHYS physical_start
#define KERNEL_BASE_PHYS ((paddr_t)KERNEL_BASE_phys)
#define KERNEL_BASE_PHYS ((paddr_t)&KERNEL_BASE_phys)