#include "hdr/stdint_proxy.h"
#include "src/__support/macros/config.h"
#include "src/stdlib/atexit.h"
#include "src/stdlib/exit.h"
#include "src/string/memcpy.h"
#include "src/string/memset.h"
#include "startup/baremetal/fini.h"
#include "startup/baremetal/init.h"
#include <arm_acle.h>
extern "C" {
int main(int argc, char **argv);
void _start();
[[gnu::weak]] void _platform_init() {}
extern uintptr_t __stack;
extern uintptr_t __data_source[];
extern uintptr_t __data_start[];
extern uintptr_t __data_size[];
extern uintptr_t __bss_start[];
extern uintptr_t __bss_size[];
[[gnu::weak]] extern uintptr_t _end;
}
namespace {
constexpr uint64_t PAGE_TABLE_ENTRY_COUNT = 512;
constexpr uint64_t PAGE_TABLE_ALIGNMENT = 4096;
constexpr uint64_t PAGE_TABLE_BLOCK_SHIFT = 30;
[[gnu::section(".noinit.page_table"), gnu::aligned(PAGE_TABLE_ALIGNMENT),
gnu::used]] volatile uint64_t page_table[PAGE_TABLE_ENTRY_COUNT];
uintptr_t get_stackheap_start() {
if (reinterpret_cast<uintptr_t>(&_end))
return reinterpret_cast<uintptr_t>(&_end);
uintptr_t code_page = reinterpret_cast<uintptr_t>(&get_stackheap_start) >>
PAGE_TABLE_BLOCK_SHIFT;
uintptr_t stackheap_address = (code_page + 1) << PAGE_TABLE_BLOCK_SHIFT;
return stackheap_address;
}
void setup_mmu() {
constexpr uint64_t PAGE_TABLE_ENTRY = 0x405; constexpr uint64_t PAGE_TABLE_ENTRY_XN =
PAGE_TABLE_ENTRY | (1ULL << 54) | (1ULL << 53);
uintptr_t start_page =
reinterpret_cast<uintptr_t>(&setup_mmu) >> PAGE_TABLE_BLOCK_SHIFT;
uintptr_t stackheap_page = get_stackheap_start() >> PAGE_TABLE_BLOCK_SHIFT;
__asm__ volatile("tlbi vmalle1");
__arm_wsr64("TTBR0_EL1", reinterpret_cast<uint64_t>(page_table));
__arm_wsr64("MAIR_EL1", 0x000000000000FF44); __arm_wsr64("TCR_EL1", 0x0000000080813519);
__isb(0xF);
for (uint64_t page = 0; page < PAGE_TABLE_ENTRY_COUNT; ++page)
page_table[page] = 0;
page_table[start_page] =
PAGE_TABLE_ENTRY | (start_page << PAGE_TABLE_BLOCK_SHIFT);
if (start_page != stackheap_page)
page_table[stackheap_page] =
PAGE_TABLE_ENTRY_XN | (stackheap_page << PAGE_TABLE_BLOCK_SHIFT);
__dsb(0xF);
uint64_t sctlr = __arm_rsr64("SCTLR_EL1");
#ifdef __ARM_FEATURE_UNALIGNED
sctlr &= ~(1ULL << 1); #else
sctlr |= 1ULL << 1; #endif
sctlr &= ~(1ULL << 19); sctlr |= 1ULL << 0; __arm_wsr64("SCTLR_EL1", sctlr);
__isb(0xF);
}
void GenericException_Handler() { LIBC_NAMESPACE::exit(1); }
[[gnu::section(".vectors"), gnu::aligned(2048), gnu::used, gnu::naked]]
void vector_table() {
#define VECTOR_TABLE_ENTRY \
asm(".balign 128"); \
asm("B %0" : : "X"(GenericException_Handler));
VECTOR_TABLE_ENTRY;
VECTOR_TABLE_ENTRY;
VECTOR_TABLE_ENTRY;
VECTOR_TABLE_ENTRY;
VECTOR_TABLE_ENTRY;
VECTOR_TABLE_ENTRY;
VECTOR_TABLE_ENTRY;
VECTOR_TABLE_ENTRY;
VECTOR_TABLE_ENTRY;
VECTOR_TABLE_ENTRY;
VECTOR_TABLE_ENTRY;
VECTOR_TABLE_ENTRY;
VECTOR_TABLE_ENTRY;
VECTOR_TABLE_ENTRY;
VECTOR_TABLE_ENTRY;
VECTOR_TABLE_ENTRY;
}
}
namespace LIBC_NAMESPACE_DECL {
[[noreturn]] void do_start() {
__arm_wsr64("VBAR_EL1", reinterpret_cast<uint64_t>(&vector_table));
setup_mmu();
#ifdef __ARM_FP
static constexpr uint64_t CPACR_SHIFT_FPEN = 20;
static constexpr uint64_t CPACR_SHIFT_SMEN = 24;
uint64_t cpacr = __arm_rsr64("CPACR_EL1");
cpacr |= (0x3 << CPACR_SHIFT_FPEN);
cpacr |= (0x3 << CPACR_SHIFT_SMEN);
__arm_wsr64("CPACR_EL1", cpacr);
#endif
LIBC_NAMESPACE::memcpy(__data_start, __data_source,
reinterpret_cast<uintptr_t>(__data_size));
LIBC_NAMESPACE::memset(__bss_start, '\0',
reinterpret_cast<uintptr_t>(__bss_size));
__libc_init_array();
_platform_init();
LIBC_NAMESPACE::atexit(&__libc_fini_array);
LIBC_NAMESPACE::exit(main(0, 0));
}
}
extern "C" {
[[gnu::section(".text.init.enter"), gnu::naked]]
void _start() {
asm volatile("mov sp, %0" : : "r"(&__stack));
asm volatile("bl %0" : : "X"(LIBC_NAMESPACE::do_start));
}
}