note_page_p4d
void note_page_p4d(struct ptdump_state *st, unsigned long addr, p4d_t p4d);
.note_page_p4d = note_page_p4d,
.note_page_p4d = note_page_p4d,
.note_page_p4d = note_page_p4d,
.note_page_p4d = note_page_p4d,
.note_page_p4d = note_page_p4d,
.note_page_p4d = note_page_p4d,
.note_page_p4d = note_page_p4d,
.note_page_p4d = note_page_p4d,
.note_page_p4d = note_page_p4d,
void (*note_page_p4d)(struct ptdump_state *st, unsigned long addr, p4d_t p4d);
st->note_page_p4d(st, addr, p4d_zero);
st->note_page_p4d(st, addr, val);