Constant WHvPartitionPropertyCodeInterruptClockFrequency 

pub const WHvPartitionPropertyCodeInterruptClockFrequency: WHV_PARTITION_PROPERTY_CODE;