POPULATE_KERNEL
case POPULATE_KERNEL:
pgtable_populate(kernel_start + TEXT_OFFSET, kernel_end, POPULATE_KERNEL);