| 187 | } |
| 188 | |
| 189 | static inline void |
| 190 | fault_page_free(vm_page_t *mp) |
| 191 | { |
| 192 | vm_page_t m; |
| 193 | |
| 194 | m = *mp; |
| 195 | if (m != NULL) { |
| 196 | VM_OBJECT_ASSERT_WLOCKED(m->object); |
| 197 | if (!vm_page_wired(m)) |
| 198 | vm_page_free(m); |
| 199 | else |
| 200 | vm_page_xunbusy(m); |
| 201 | *mp = NULL; |
| 202 | } |
| 203 | } |
| 204 | |
| 205 | static inline void |
| 206 | unlock_map(struct faultstate *fs) |
no test coverage detected