cpu.h

Go to the documentation of this file.

#pragma once
 
#include <kernel/config.h>
#include <kernel/cpu/cpu_id.h>
#include <kernel/cpu/interrupt.h>
#include <kernel/cpu/tss.h>
#include <kernel/drivers/apic.h>
#include <kernel/drivers/rand.h>
#include <kernel/drivers/statistics.h>
#include <kernel/mem/vmm.h>
#include <kernel/sched/sched.h>
#include <kernel/sched/timer.h>
#include <kernel/sched/wait.h>
 
#include <stdint.h>
 
#define CPU_STACK_CANARY 0x1234567890ABCDEFULL
 
typedef struct cpu
{
    cpuid_t id;
    lapic_id_t lapicId;
    tss_t tss;
    vmm_cpu_ctx_t vmm;
    interrupt_ctx_t interrupt;
    statistics_cpu_ctx_t stat;
    timer_ctx_t timer;
    wait_cpu_ctx_t wait;
    sched_cpu_ctx_t sched;
    rand_cpu_ctx_t rand;
    stack_pointer_t exceptionStack;
    stack_pointer_t doubleFaultStack;
    stack_pointer_t interruptStack;
    uint8_t exceptionStackBuffer[CONFIG_INTERRUPT_STACK_PAGES * PAGE_SIZE] ALIGNED(PAGE_SIZE);
    uint8_t doubleFaultStackBuffer[CONFIG_INTERRUPT_STACK_PAGES * PAGE_SIZE] ALIGNED(PAGE_SIZE);
    uint8_t interruptStackBuffer[CONFIG_INTERRUPT_STACK_PAGES * PAGE_SIZE] ALIGNED(PAGE_SIZE);
} cpu_t;
 
uint64_t cpu_init(cpu_t* cpu, cpuid_t id);
 
void cpu_stacks_overflow_check(cpu_t* cpu);