20#ifndef KERNEL_PROCESSOR_X64_GDT_H
21#define KERNEL_PROCESSOR_X64_GDT_H
22#include "pedigree/kernel/compiler.h"
23#include "pedigree/kernel/processor/types.h"
static X64GdtManager & instance()
segment_descriptor * m_Gdt
void setSegmentDescriptor(size_t index, uint64_t base, uint32_t limit, uint8_t flags, uint8_t flags2)
void initialise(size_t processorCount) INITIALISATION_ONLY
static X64GdtManager m_Instance
static void loadSegmentRegisters()
static void initialiseProcessor() INITIALISATION_ONLY
void initialiseTss(X64TaskStateSegment *pTss) INITIALISATION_ONLY
void setTssDescriptor(size_t index, uint64_t base) INITIALISATION_ONLY
#define INITIALISATION_ONLY