Something went wrong. Try again.
Reactos
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960#pragma once
//// ARM Headers//#include <internal/arm/ke.h>#include <internal/arm/intrin_i.h>
//// Versatile Peripherals//#include <peripherals/pl011.h>#include <peripherals/pl190.h>#include <peripherals/sp804.h>
#define PRIMARY_VECTOR_BASE 0x00
/* Usage flags */#define IDT_REGISTERED 0x01#define IDT_LATCHED 0x02#define IDT_INTERNAL 0x11#define IDT_DEVICE 0x21
typedef struct _IDTUsageFlags{ UCHAR Flags;} IDTUsageFlags;
typedef struct{ KIRQL Irql; UCHAR BusReleativeVector;} IDTUsage;
VOIDNTAPIHalpRegisterVector(IN UCHAR Flags, IN ULONG BusVector, IN ULONG SystemVector, IN KIRQL Irql);
VOIDNTAPIHalpEnableInterruptHandler(IN UCHAR Flags, IN ULONG BusVector, IN ULONG SystemVector, IN KIRQL Irql, IN PVOID Handler, IN KINTERRUPT_MODE Mode);
VOID HalpInitPhase0 (PLOADER_PARAMETER_BLOCK LoaderBlock);VOID HalpInitPhase1(VOID);
VOID HalpInitializeInterrupts(VOID);VOID HalpInitializeClock(VOID);VOID HalpClockInterrupt(VOID);VOID HalpProfileInterrupt(VOID);
extern ULONG HalpCurrentTimeIncrement, HalpNextTimeIncrement, HalpNextIntervalCount;