| /branches/arm/kernel/arch/arm32/include/interrupt.h |
|---|
| 27,7 → 27,6 |
| */ |
| /** @addtogroup arm32interrupt |
| * @ingroup interrupt |
| * @{ |
| */ |
| /** @file |
| /branches/arm/kernel/arch/arm32/include/machine.h |
|---|
| 48,6 → 48,7 |
| extern void machine_debug_putc(char ch); |
| extern void machine_cpu_halt(void); |
| extern void machine_irq_exception(int exc_no, istate_t *istate); |
| extern uintptr_t machine_get_fb_address(void); |
| #endif |
| /branches/arm/kernel/arch/arm32/include/atomic.h |
|---|
| 26,7 → 26,7 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup libcarm32 |
| /** @addtogroup arm32 |
| * @{ |
| */ |
| /** @file |