#include <kernel/cpu/trampoline.h>
#include <kernel/cpu/cpu.h>
#include <kernel/cpu/gdt.h>
#include <kernel/drivers/apic.h>
#include <kernel/drivers/hpet.h>
#include <kernel/log/log.h>
#include <kernel/log/panic.h>
#include <kernel/mem/pmm.h>
#include <kernel/mem/vmm.h>
#include <kernel/sched/sched.h>
#include <kernel/sched/thread.h>
#include <kernel/utils/utils.h>
#include <kernel/mem/paging_types.h>
#include <string.h>

Functions
void	trampoline_init (void)
	Initializes the trampoline by copying the trampoline code to its designated memory location.

void	trampoline_deinit (void)
	Deinitializes the trampoline by restoring the original contents of the trampoline memory location.

void	trampoline_send_startup_ipi (cpu_t *cpu, cpuid_t id, lapic_id_t lapicId)
	Sends the startup IPI to a CPU to start it up.

uint64_t	trampoline_wait_ready (clock_t timeout)
	Waits for the currently starting CPU to signal that it is ready.

static void	trampoline_after_jump (void)

void	trampoline_c_entry (cpu_t *cpu, cpuid_t cpuId)
	After the trampoline is done with basic initialization, it calls this C entry point to continue CPU initialization.