KVM_XICS_PRESENTED
val |= KVM_XICS_PRESENTED;
if (val & KVM_XICS_PRESENTED || val & KVM_XICS_PENDING)
if (val & KVM_XICS_PRESENTED && !(val & KVM_XICS_PENDING))