HV_PARTITION_PROCESSOR_FEATURES_BANKS
HV_PARTITION_PROCESSOR_FEATURES_BANKS);
for (i = 0; i < HV_PARTITION_PROCESSOR_FEATURES_BANKS; i++)
for (i = 0; i < HV_PARTITION_PROCESSOR_FEATURES_BANKS; i++)
u64 as_uint64[HV_PARTITION_PROCESSOR_FEATURES_BANKS];