1import gdb
2if 1:
3    LX_CLK_GET_RATE_NOCACHE = gdb.parse_and_eval("((((1UL))) << (6))")
4LX_SB_RDONLY = 1
5LX_SB_SYNCHRONOUS = 16
6LX_SB_MANDLOCK = 64
7LX_SB_DIRSYNC = 128
8LX_SB_NOATIME = 1024
9LX_SB_NODIRATIME = 2048
10LX_hrtimer_resolution = gdb.parse_and_eval("hrtimer_resolution")
11LX_MNT_NOSUID = 0x01
12LX_MNT_NODEV = 0x02
13LX_MNT_NOEXEC = 0x04
14LX_MNT_NOATIME = 0x08
15LX_MNT_NODIRATIME = 0x10
16LX_MNT_RELATIME = 0x20
17LX_NR_CPUS = 256
18LX_OF_DT_HEADER = 0xd00dfeed
19LX_CONFIG_GENERIC_CLOCKEVENTS = 1
20LX_CONFIG_GENERIC_CLOCKEVENTS_BROADCAST = 1
21LX_CONFIG_HIGH_RES_TIMERS = 1
22LX_CONFIG_NR_CPUS = 0
23LX_CONFIG_OF = 1
24LX_CONFIG_TICK_ONESHOT = 1
25