Fix some oversights in the header.

This commit is contained in:
Curle 2019-07-23 19:27:47 +01:00
parent c9bd659f5c
commit c795a936ae

View File

@ -627,11 +627,12 @@ void PrepareSystem(FILELOADER_PARAMS* FLOP);
size_t ClockTick(void); size_t ClockTick(void);
void Halt(void); void Halt(void);
void PrepareAVX(void); void PrepareAVX(void);
void AVXStub(void);
void PrepareMaskableInterrupts(void); void PrepareMaskableInterrupts(void);
void PreparePowerManagement(void); void PreparePowerManagement(void);
/* Hypervisor / Scheduler */ /* Hypervisor / Scheduler */
uint8_t HypervisorCheck(void); uint8_t CheckForHypervisor(void);
uint8_t ReadPerformance(size_t* PerformanceDest); uint8_t ReadPerformance(size_t* PerformanceDest);
size_t ReadCPUFrequency(size_t* PerformanceDest, uint8_t AvgOrDirect); size_t ReadCPUFrequency(size_t* PerformanceDest, uint8_t AvgOrDirect);
@ -665,11 +666,11 @@ void SetGDT(DESCRIPTOR_TABLE_POINTER GDTData);
DESCRIPTOR_TABLE_POINTER FetchIDT(void); DESCRIPTOR_TABLE_POINTER FetchIDT(void);
void SetIDT(DESCRIPTOR_TABLE_POINTER IDTData); void SetIDT(DESCRIPTOR_TABLE_POINTER IDTData);
DESCRIPTOR_TABLE_POINTER FetchLDT(void); uint16_t FetchLDT(void);
void SetLDT(DESCRIPTOR_TABLE_POINTER LDTData); void SetLDT(uint16_t LDTData);
DESCRIPTOR_TABLE_POINTER FetchTSR(void); uint16_t FetchTSR(void);
void SetTSR(DESCRIPTOR_TABLE_POINTER TSRData); void SetTSR(uint16_t TSRData);
void InstallGDT(void); void InstallGDT(void);
void InstallIDT(void); void InstallIDT(void);
@ -707,8 +708,9 @@ void ISR16Handler(INTERRUPT_FRAME* Frame); // Math Error / Coprocessor Fault
void ISR17Handler(EXCEPTION_FRAME* Frame); // Alignment Error void ISR17Handler(EXCEPTION_FRAME* Frame); // Alignment Error
void ISR18Handler(INTERRUPT_FRAME* Frame); // Machine Check void ISR18Handler(INTERRUPT_FRAME* Frame); // Machine Check
void ISR19Handler(INTERRUPT_FRAME* Frame); // SSE Math Error void ISR19Handler(INTERRUPT_FRAME* Frame); // SSE Math Error
void ISR19Handler(INTERRUPT_FRAME* Frame); // Virtualization Exception void ISR20Handler(INTERRUPT_FRAME* Frame); // Virtualization Exception
void ISR20Handler(EXCEPTION_FRAME* Frame); // Security Fault void ISR30Handler(EXCEPTION_FRAME* Frame); // Security Fault
void ReservedISRHandler(INTERRUPT_FRAME* Frame);
/* ==================== Interrupt Support ==================== */ /* ==================== Interrupt Support ==================== */