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