* pmap_is_modified: * * Return whether or not the specified physical page was modified * in any physical maps. */
| 5348 | * in any physical maps. |
| 5349 | */ |
| 5350 | boolean_t |
| 5351 | pmap_is_modified(vm_page_t m) |
| 5352 | { |
| 5353 | |
| 5354 | KASSERT((m->oflags & VPO_UNMANAGED) == 0, |
| 5355 | ("pmap_is_modified: page %p is not managed", m)); |
| 5356 | |
| 5357 | /* |
| 5358 | * If the page is not busied then this check is racy. |
| 5359 | */ |
| 5360 | if (!pmap_page_is_write_mapped(m)) |
| 5361 | return (FALSE); |
| 5362 | return (pmap_page_test_mappings(m, FALSE, TRUE)); |
| 5363 | } |
| 5364 | |
| 5365 | /* |
| 5366 | * pmap_is_prefaultable: |
nothing calls this directly
no test coverage detected