NIC_VF_INT
p[i++] = nicvf_reg_read(nic, NIC_VF_INT);
nicvf_reg_read(nic, NIC_VF_INT));
intr = nicvf_reg_read(nic, NIC_VF_INT);
nicvf_reg_write(nic, NIC_VF_INT, -1);
nicvf_reg_write(nic, NIC_VF_INT, mask);