1 /* SPDX-License-Identifier: GPL-2.0 */
2 #include <linux/types.h>
3 #include <linux/seq_file.h>
4
5 struct 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
14 struct pgtable_level {
15 const struct flag_info *flag;
16 size_t num;
17 u64 mask;
18 };
19
20 extern struct pgtable_level pg_level[5];
21
22 void pt_dump_size(struct seq_file *m, unsigned long delta);
23
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.