p4d_clear_bad     561 include/asm-generic/pgtable.h void p4d_clear_bad(p4d_t *);
p4d_clear_bad     581 include/asm-generic/pgtable.h 		p4d_clear_bad(p4d);