# CONFIG_DEFERRED_STRUCT_PAGE_INIT is not set