Did you mean (for netbsd-src):sizeof_pte
Your search defs:SIZEOF_PCB did not match any files. Suggestions: