// Starts the auxiliary core with the given entry point.
// void aux_core_start(uint64_t entry_point);
aux_core_start:
    // store entry_point to core_start_ptr
    // use atomic store
    adrp x5, core_start_ptr
    add x5, x5, :lo12:core_start_ptr
    stlr x0, [x5] // store entry_point with release ordering
    // wake up the core
    sev
    ret