#pragma once

#include "memory/pointer.h"

namespace apic {
void startupCore(paddr_t code, paddr_t stack);
}