Rev 1787 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
ebda = *((uint16_t *) BIOS_EBDA_PTR) * 0x10;
}
/** @}
*/