DEFERRED_PAGES_MAX 60 kernel/generic/src/mm/km.c static uintptr_t deferred_page[DEFERRED_PAGES_MAX]; DEFERRED_PAGES_MAX 226 kernel/generic/src/mm/km.c if (deferred_pages == DEFERRED_PAGES_MAX) {