smp.h

Go to the documentation of this file.

#pragma once
 
#include <kernel/cpu/cpu_id.h>
#include <kernel/cpu/interrupt.h>
#include <kernel/cpu/regs.h>
#include <kernel/defs.h>
 
#include <stdint.h>
 
typedef struct cpu cpu_t;
 
extern cpu_t* _cpus[CPU_MAX];
 
extern uint16_t _cpuAmount;
 
void smp_bootstrap_init_early(void);
 
void smp_bootstrap_init(void);
 
void smp_others_init(void);
 
void smp_halt_others(void);
 
static inline uint16_t smp_cpu_amount(void)
{
    return _cpuAmount;
}
 
static inline cpu_t* smp_cpu(cpuid_t id)
{
    return _cpus[id];
}
 
static inline cpu_t* smp_self_unsafe(void)
{
    return _cpus[msr_read(MSR_CPU_ID)];
}
 
static inline cpuid_t smp_self_id_unsafe(void)
{
    return (cpuid_t)msr_read(MSR_CPU_ID);
}
 
static inline cpu_t* smp_self(void)
{
    interrupt_disable();
 
    return _cpus[msr_read(MSR_CPU_ID)];
}
 
static inline void smp_put(void)
{
    interrupt_enable();
}