| /kernel/trunk/arch/ia32/src/bios/bios.c |
|---|
| 26,12 → 26,6 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup ia32 |
| * @{ |
| */ |
| /** @file |
| */ |
| #include <arch/bios/bios.h> |
| #include <arch/types.h> |
| 42,7 → 36,3 |
| /* Copy the EBDA address out from BIOS Data Area */ |
| ebda = *((__u16 *) BIOS_EBDA_PTR) * 0x10; |
| } |
| /** @} |
| */ |