Constant HalRegisterSecondaryInterruptInterface 

pub const HalRegisterSecondaryInterruptInterface: HAL_SET_INFORMATION_CLASS = 13i32;