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