NIC_VF_INT
intr = nicvf_reg_read(nic, NIC_VF_INT);
nicvf_reg_write(nic, NIC_VF_INT, ~0UL);
nicvf_reg_write(nic, NIC_VF_INT, reg_val);