trampoline.h

Go to the documentation of this file.

#pragma once
 
#include <kernel/cpu/smp.h>
#include <kernel/drivers/apic.h>
 
#include <stdint.h>
#include <sys/proc.h>
 
#define TRAMPOLINE_BASE_ADDR 0x8000
 
#define TRAMPOLINE_DATA_OFFSET 0x0F00
 
#define TRAMPOLINE_PML4_OFFSET (TRAMPOLINE_DATA_OFFSET + 0x00)
 
#define TRAMPOLINE_ENTRY_OFFSET (TRAMPOLINE_DATA_OFFSET + 0x08)
 
#define TRAMPOLINE_CPU_ID_OFFSET (TRAMPOLINE_DATA_OFFSET + 0x10)
 
#define TRAMPOLINE_CPU_OFFSET (TRAMPOLINE_DATA_OFFSET + 0x18)
 
#define TRAMPOLINE_STACK_OFFSET (TRAMPOLINE_DATA_OFFSET + 0x20)
 
#define TRAMPOLINE_ADDR(offset) ((void*)(TRAMPOLINE_BASE_ADDR + (offset)))
 
extern void trampoline_start(void);
 
extern void trampoline_end(void);
 
#define TRAMPOLINE_SIZE ((uintptr_t)trampoline_end - (uintptr_t)trampoline_start)
 
void trampoline_init(void);
 
void trampoline_deinit(void);
 
void trampoline_send_startup_ipi(cpu_t* cpu, cpuid_t cpuId, lapic_id_t lapicId);
 
uint64_t trampoline_wait_ready(clock_t timeout);
 
_NORETURN void trampoline_c_entry(cpu_t* self, cpuid_t cpuId);