20 #include "pedigree/kernel/processor/Processor.h" Bootstrap structure passed to the kernel entry point.
static void initialise2(const BootstrapStruct_t &Info) INITIALISATION_ONLY
second/last stage in the initialisation of the processor-specific interface
static size_t m_Initialised
static void initialise1(const BootstrapStruct_t &Info) INITIALISATION_ONLY
first stage in the initialisation of the processor-specific interface