| 104 | } |
| 105 | |
| 106 | static __inline void |
| 107 | svm_set_dirty(struct svm_softc *sc, int vcpu, uint32_t dirtybits) |
| 108 | { |
| 109 | struct svm_vcpu *vcpustate; |
| 110 | |
| 111 | vcpustate = svm_get_vcpu(sc, vcpu); |
| 112 | |
| 113 | vcpustate->dirty |= dirtybits; |
| 114 | } |
| 115 | |
| 116 | #endif /* _SVM_SOFTC_H_ */ |
no test coverage detected