/trunk/kernel/genarch/include/softint/division.h |
26,16 → 26,15 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
|
/** @addtogroup genarch |
/** @addtogroup genarch |
* @{ |
*/ |
/** @file |
*/ |
|
#ifndef __SOFTINT_DIVISION_H__ |
#define __SOFTINT_DIVISION_H__ |
#ifndef KERN_DIVISION_H_ |
#define KERN_DIVISION_H_ |
|
|
/* 32bit integer division */ |
int __divsi3(int a, int b); |
|
64,7 → 63,5 |
|
#endif |
|
|
/** @} |
/** @} |
*/ |
|
/trunk/kernel/genarch/include/fb/font-8x16.h |
26,14 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
|
/** @addtogroup genarch |
/** @addtogroup genarch |
* @{ |
*/ |
/** @file |
*/ |
|
#ifndef __FONT_8X16_H__ |
#define __FONT_8X16_H__ |
#ifndef KERN_FONT_8X16_H_ |
#define KERN_FONT_8X16_H_ |
|
#define FONT_GLIPHS 256 |
#define FONT_SCANLINES 16 |
42,6 → 42,5 |
|
#endif |
|
/** @} |
/** @} |
*/ |
|
/trunk/kernel/genarch/include/fb/fb.h |
26,14 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
|
/** @addtogroup genarch |
/** @addtogroup genarch |
* @{ |
*/ |
/** @file |
*/ |
|
#ifndef _FB_H_ |
#define _FB_H_ |
#ifndef KERN_FB_H_ |
#define KERN_FB_H_ |
|
#include <typedefs.h> |
#include <arch/types.h> |
43,6 → 43,5 |
|
#endif |
|
/** @} |
/** @} |
*/ |
|
/trunk/kernel/genarch/include/mm/page_pt.h |
40,8 → 40,8 |
|
#ifdef CONFIG_PAGE_PT |
|
#ifndef __PAGE_PT_H__ |
#define __PAGE_PT_H__ |
#ifndef KERN_PAGE_PT_H_ |
#define KERN_PAGE_PT_H_ |
|
#include <arch/types.h> |
#include <typedefs.h> |
/trunk/kernel/genarch/include/mm/asid_fifo.h |
26,19 → 26,18 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
|
/** @addtogroup genarchmm |
/** @addtogroup genarchmm |
* @{ |
*/ |
/** @file |
*/ |
|
#ifndef __ASID_FIFO_H__ |
#define __ASID_FIFO_H__ |
#ifndef KERN_ASID_FIFO_H_ |
#define KERN_ASID_FIFO_H_ |
|
extern void asid_fifo_init(void); |
|
#endif |
|
/** @} |
/** @} |
*/ |
|
/trunk/kernel/genarch/include/mm/page_ht.h |
36,8 → 36,8 |
|
#ifdef CONFIG_PAGE_HT |
|
#ifndef __PAGE_HT_H__ |
#define __PAGE_HT_H__ |
#ifndef KERN_PAGE_HT_H_ |
#define KERN_PAGE_HT_H_ |
|
#include <mm/page.h> |
#include <typedefs.h> |
/trunk/kernel/genarch/include/acpi/acpi.h |
26,14 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
|
/** @addtogroup genarch |
/** @addtogroup genarch |
* @{ |
*/ |
/** @file |
*/ |
|
#ifndef __ACPI_H__ |
#define __ACPI_H__ |
#ifndef KERN_ACPI_H_ |
#define KERN_ACPI_H_ |
|
#include <arch/types.h> |
|
88,8 → 88,7 |
extern void acpi_init(void); |
extern int acpi_sdt_check(uint8_t *sdt); |
|
#endif /* __ACPI_H__ */ |
#endif /* KERN_ACPI_H_ */ |
|
/** @} |
/** @} |
*/ |
|
/trunk/kernel/genarch/include/acpi/madt.h |
26,14 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
|
/** @addtogroup genarch |
/** @addtogroup genarch |
* @{ |
*/ |
/** @file |
*/ |
|
#ifndef __MADT_H__ |
#define __MADT_H__ |
#ifndef KERN_MADT_H_ |
#define KERN_MADT_H_ |
|
#include <genarch/acpi/acpi.h> |
#include <arch/smp/apic.h> |
143,8 → 143,7 |
|
extern void acpi_madt_parse(void); |
|
#endif /* __MADT_H__ */ |
#endif /* KERN_MADT_H_ */ |
|
/** @} |
/** @} |
*/ |
|