IRQ_LOCAL_MASK
ie |= vcpu->arch.guest_csr.vsie & ~IRQ_LOCAL_MASK &
*out_val |= csr->hvip & ~IRQ_LOCAL_MASK;