# CONFIG_FAIL_PAGE_ALLOC is not set
