12345678910111213141516171819202122232425262728293031323334 |
- /*
- * Copright (C) 2014 Linaro Ltd.
- * Author: Ard Biesheuvel <[email protected]>
- *
- * Redistribution and use in source and binary forms, with or without
- * modification, are permitted provided that the following conditions
- * are met:
- * 1. Redistributions of source code must retain the above copyright
- * notice and this list of conditions, without modification.
- * 2. The name of the author may not be used to endorse or promote products
- * derived from this software without specific prior written permission.
- *
- * Alternatively, this software may be distributed under the terms of the
- * GNU General Public License as published by the Free Software Foundation;
- * either version 2 of the License, or (at your option) any later version.
- */
- #include "lib.h"
- VOID
- InitializeLibPlatform (
- IN EFI_HANDLE ImageHandle EFI_UNUSED,
- IN EFI_SYSTEM_TABLE *SystemTable EFI_UNUSED
- )
- {
- }
- #ifdef __GNUC__
- void __div0(void)
- {
- // TODO handle divide by zero fault
- while (1);
- }
- #endif
|