Did you mean (for netbsd):pmap_get_pde pmap_get_ptp pmap_set_pv
Your search defs:PMAP_SET_PTE did not match any files. Suggestions: