# CONFIG_KPROBES is not set
# CONFIG_JUMP_LABEL is not set
# CONFIG_COMPAT_32BIT_TIME is not set