Searched defs:base_mem_kb (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/PC/BIOS/
H A Dahci.c821 uint16_t base_mem_kb; local
824 base_mem_kb = read_word(0x00, 0x0413);
826 DBG_AHCI("AHCI: %dK of base mem\n", base_mem_kb);
828 if (base_mem_kb == 0)
831 base_mem_kb--; /* Allocate one block. */
832 ahci_seg = (((uint32_t)base_mem_kb * 1024) >> 4); /* Calculate start segment. */
834 write_word(0x00, 0x0413, base_mem_kb);

Completed in 47 milliseconds