* Are we current address space or kernel? */
| 1849 | * Are we current address space or kernel? |
| 1850 | */ |
| 1851 | static __inline int |
| 1852 | pmap_is_current(pmap_t pmap) |
| 1853 | { |
| 1854 | |
| 1855 | return (pmap == kernel_pmap || |
| 1856 | (pmap == vmspace_pmap(curthread->td_proc->p_vmspace))); |
| 1857 | } |
| 1858 | |
| 1859 | /* |
| 1860 | * If the given pmap is not the current or kernel pmap, the returned |
no test coverage detected