pt_entry_make_write_clean
pt_entry_make_write_clean(pts);
static inline void pt_entry_make_write_clean(struct pt_state *pts);