Searched refs:bios_basemem (Results 1 - 10 of 10) sorted by relevance

/freebsd-11-stable/stand/pc98/libpc98/
H A Dbiosmem.c38 uint32_t bios_basemem, bios_extmem, high_heap_size; variable
49 bios_basemem = ((*(u_char *)PTOV(0xA1501) & 0x07) + 1) * 128 * 1024;
/freebsd-11-stable/stand/i386/libi386/
H A Dbiosmem.c41 uint32_t bios_basemem, bios_extmem, high_heap_size; variable
116 bios_basemem = smap.length;
156 if (bios_basemem == 0) {
161 bios_basemem = (v86.eax & 0xffff) * 1024;
234 printf("bios_basemem: 0x%llx\n", (unsigned long long)bios_basemem);
H A Dlibi386.h114 extern uint32_t bios_basemem; /* base memory in bytes */
H A Dbootinfo32.c263 bi.bi_basemem = bios_basemem / 1024;
H A Dmultiboot.c215 mb_info->mem_lower = bios_basemem / 1024;
/freebsd-11-stable/stand/i386/isoboot/
H A Disoboot.c89 static uint32_t bios_basemem, bios_extmem, high_heap_size; variable
143 bios_basemem = smap.length;
173 if (bios_basemem == 0) {
178 bios_basemem = (v86.eax & 0xffff) * 1024;
230 heap_end = (char *)PTOV(bios_basemem);
243 bootinfo.bi_basemem = bios_basemem / 1024;
/freebsd-11-stable/stand/pc98/loader/
H A Dmain.c121 heap_top = (void *)PTOV(bios_basemem);
180 printf("BIOS %dkB/%dkB available memory\n", bios_basemem / 1024, bios_extmem / 1024);
182 initial_bootinfo->bi_basemem = bios_basemem / 1024;
/freebsd-11-stable/stand/i386/loader/
H A Dmain.c119 heap_top = (void *)PTOV(bios_basemem);
223 printf("BIOS %dkB/%dkB available memory\n", bios_basemem / 1024, bios_extmem / 1024);
225 initial_bootinfo->bi_basemem = bios_basemem / 1024;
/freebsd-11-stable/stand/i386/gptboot/
H A Dgptboot.c92 static uint32_t bios_basemem, bios_extmem, high_heap_size; variable
160 bios_basemem = smap.length;
190 if (bios_basemem == 0) {
195 bios_basemem = (v86.eax & 0xffff) * 1024;
279 heap_end = (char *)PTOV(bios_basemem);
292 bootinfo.bi_basemem = bios_basemem / 1024;
/freebsd-11-stable/stand/i386/zfsboot/
H A Dzfsboot.c120 uint32_t bios_basemem, bios_extmem, high_heap_size; variable
379 bios_basemem = smap.length;
407 if (bios_basemem == 0) {
412 bios_basemem = (v86.eax & 0xffff) * 1024;
723 heap_end = (char *)PTOV(bios_basemem);
738 bootinfo.bi_basemem = bios_basemem / 1024;

Completed in 95 milliseconds