Re: vmlinux-gdb unable to parse_and_eval("hrtimer_resolution") on mainline