/* SPDX-License-Identifier: GPL-2.0 */ #include <linux/types.h> #include <linux/seq_file.h> struct flag_info { u64 mask; u64 val; const char *set; const char *clear; bool is_val; int shift; }; struct pgtable_level { const struct flag_info *flag; size_t num; u64 mask; }; extern struct pgtable_level pg_level[5]; void pt_dump_size(struct seq_file *m, unsigned long delta);