Searched refs:bios_basemem (Results 1 – 8 of 8) sorted by relevance
40 uint32_t bios_basemem, bios_extmem, high_heap_size; variable114 bios_basemem = smap.length; in bios_getmem()154 if (bios_basemem == 0) { in bios_getmem()159 bios_basemem = (v86.eax & 0xffff) * 1024; in bios_getmem()232 printf("bios_basemem: 0x%llx\n", (unsigned long long)bios_basemem); in command_biosmem()
111 extern uint32_t bios_basemem; /* base memory in bytes */
254 bi.bi_basemem = bios_basemem / 1024; in bi_load32()
259 mb_info->mem_lower = bios_basemem / 1024; in multiboot_exec()
96 static uint32_t bios_basemem, bios_extmem, high_heap_size; variable151 bios_basemem = smap.length; in bios_getmem()181 if (bios_basemem == 0) { in bios_getmem()186 bios_basemem = (v86.eax & 0xffff) * 1024; in bios_getmem()238 heap_end = (char *)PTOV(bios_basemem); in main()255 bootinfo.bi_basemem = bios_basemem / 1024; in main()
113 heap_top = (void *)PTOV(bios_basemem); in main()181 printf("BIOS %dkB/%dkB available memory\n", bios_basemem / 1024, in main()184 initial_bootinfo->bi_basemem = bios_basemem / 1024; in main()
120 extern uint32_t bios_basemem, bios_extmem, high_heap_size;169 heap_top = (char *)PTOV(bios_basemem); in main()223 bootinfo.bi_basemem = bios_basemem / 1024; in main()
982 tag->mb_mem_lower = bios_basemem / 1024; in multiboot2_exec()