Constant MSR_AMD64_SVM_AVIC_DOORBELL 

pub const MSR_AMD64_SVM_AVIC_DOORBELL: u32 = 0xc001011b;