Did you mean (for freebsd):restore_cpu restore_src restore_r6
Your search defs:restore_cr3 did not match any files. Suggestions: