VSIP_VALID_MASK
ie = ((vcpu->arch.guest_csr.vsie & VSIP_VALID_MASK)
*out_val = (csr->hvip >> VSIP_TO_HVIP_SHIFT) & VSIP_VALID_MASK;
reg_val &= VSIP_VALID_MASK;