1/* SPDX-License-Identifier: GPL-2.0 */
2#include <linux/types.h>
3#include <linux/seq_file.h>
4
5struct flag_info {
6	u64		mask;
7	u64		val;
8	const char	*set;
9	const char	*clear;
10	bool		is_val;
11	int		shift;
12};
13
14struct pgtable_level {
15	const struct flag_info *flag;
16	size_t num;
17	u64 mask;
18};
19
20extern struct pgtable_level pg_level[5];
21
22void pt_dump_size(struct seq_file *m, unsigned long delta);
23