Extracted from Windows public symbol, with a bit guessing. Function prototypes are not fully understood yet.
You still need your own way to hook your things into HAL.dll, as interrupt controller extension is never exposed.
typedef struct _SOC_INITIALIZATION_HEADER {
ULONG TableVersion;
ULONG TableSize;
} SOC_INITIALIZATION_HEADER, *PSOC_INITIALIZATION_HEADER;