VMWPVS_R_INTR_STATUS
status = vmwpvs_read(sc, VMWPVS_R_INTR_STATUS);
vmwpvs_write(sc, VMWPVS_R_INTR_STATUS, status);