Did you mean (for freebsd-14.2):kernel_addr kernel_add
Your search defs:kernel_vaddr did not match any files. Suggestions: