20#ifndef KERNEL_PROCESSOR_X86_COMMON_PROCESSOR_H
21#define KERNEL_PROCESSOR_X86_COMMON_PROCESSOR_H
22#include "pedigree/kernel/processor/Processor.h"
44 static void cpuid(uint32_t inEax, uint32_t inEcx, uint32_t& eax, uint32_t& ebx, uint32_t& ecx,
47 static physical_uintptr_t readCr3();
53ProcessorInformation* currentProcessorInformationFromApic(
static ProcessorInformation & information()
static size_t m_Initialised
static Vector< ProcessorInformation * > m_ProcessorInformation
static ProcessorInformation m_SafeBspProcessorInformation
A vector / dynamic array.
static void cpuid(uint32_t inEax, uint32_t inEcx, uint32_t &eax, uint32_t &ebx, uint32_t &ecx, uint32_t &edx)
static void writeMachineSpecificRegister(uint32_t index, uint64_t value)
static uint64_t readMachineSpecificRegister(uint32_t index)