MAX_KMAPPINGS
} kmappings[MAX_KMAPPINGS];
km_last = &kmappings[MAX_KMAPPINGS - 1];
for (i = 0, km_prev = NULL; i < MAX_KMAPPINGS; i++, km_prev = km) {
size = (uintptr_t)(&kmappings[MAX_KMAPPINGS]) -
(uintptr_t)(&kmappings[MAX_KMAPPINGS]) - (uintptr_t)(km_next + 1);