Constant WHV_SYNTHETIC_PROCESSOR_FEATURES_BANKS_COUNT 

pub const WHV_SYNTHETIC_PROCESSOR_FEATURES_BANKS_COUNT: u32 = 1u32;