#pragma once #include "types.h" #define PAGE_SHIFT 12 #define PAGE_SIZE (1 << PAGE_SHIFT) // Defined in linker.ld script extern uint32_t __ld_kernel_begin; extern uint32_t __ld_kernel_end; struct mem_desc{ unsigned long phy_addr; unsigned long ref; }; int memInit(unsigned long upper_mem);