Type Definition PerCoreVariables
hermit::x86_64::kernel::percore
type PerCoreVariables = CachePadded<PerCoreInnerVariables>;