/* 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);