Constant HV_DEVICE_INTERRUPT_TARGET_PROCESSOR_SET 

pub const HV_DEVICE_INTERRUPT_TARGET_PROCESSOR_SET: u32 = 2;