/* Clear out the BSS segment. */
memset (&__bss_start, 0, &_end - &__bss_start);
/* Clear out the BSS segment. */
memset (&__bss_start, 0, &_end - &__bss_start);
/* Calculate how much RAM the kernel uses, and find out from
the bootloader how much RAM this machine has. */
kernel_pages = (&_end - &_text + 4095) / 4096;
ram_pages = *(uint32_t *) (0x7e00 - 6);
/* Calculate how much RAM the kernel uses, and find out from
the bootloader how much RAM this machine has. */
kernel_pages = (&_end - &_text + 4095) / 4096;
ram_pages = *(uint32_t *) (0x7e00 - 6);
/* Memory from the end of the kernel through the end of memory
is free. Give it to the page allocator. */
/* Memory from the end of the kernel through the end of memory
is free. Give it to the page allocator. */