Did you mean (for kernel):set_pte_bit
Your search defs:set_pte_init did not match any files. Suggestions: