/trunk/kernel/generic/include/mm/page.h |
---|
26,14 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup genericmm |
/** @addtogroup genericmm |
* @{ |
*/ |
/** @file |
*/ |
#ifndef __PAGE_H__ |
#define __PAGE_H__ |
#ifndef KERN_PAGE_H_ |
#define KERN_PAGE_H_ |
#include <arch/mm/asid.h> |
#include <arch/types.h> |
97,6 → 97,5 |
#endif |
/** @} |
/** @} |
*/ |
/trunk/kernel/generic/include/mm/asid.h |
---|
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup genericmm |
/** @addtogroup genericmm |
* @{ |
*/ |
/** @file |
37,8 → 37,8 |
* Address Space IDentifiers (ASIDs). |
*/ |
#ifndef __ASID_H__ |
#define __ASID_H__ |
#ifndef KERN_ASID_H_ |
#define KERN_ASID_H_ |
#ifndef __ASM__ |
83,7 → 83,5 |
#endif |
/** @} |
/** @} |
*/ |
/trunk/kernel/generic/include/mm/slab.h |
---|
26,14 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup genericmm |
/** @addtogroup genericmm |
* @{ |
*/ |
/** @file |
*/ |
#ifndef __SLAB_H__ |
#define __SLAB_H__ |
#ifndef KERN_SLAB_H_ |
#define KERN_SLAB_H_ |
#include <adt/list.h> |
#include <synch/spinlock.h> |
135,6 → 135,5 |
extern void free(void *obj); |
#endif |
/** @} |
/** @} |
*/ |
/trunk/kernel/generic/include/mm/tlb.h |
---|
26,14 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup genericmm |
/** @addtogroup genericmm |
* @{ |
*/ |
/** @file |
*/ |
#ifndef __TLB_H__ |
#define __TLB_H__ |
#ifndef KERN_TLB_H_ |
#define KERN_TLB_H_ |
#include <arch/mm/asid.h> |
#include <arch/types.h> |
75,7 → 75,6 |
# define tlb_shootdown_ipi_recv() |
#endif /* CONFIG_SMP */ |
/* Export TLB interface that each architecture must implement. */ |
extern void tlb_arch_init(void); |
extern void tlb_print(void); |
86,6 → 85,5 |
extern void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt); |
#endif |
/** @} |
/** @} |
*/ |
/trunk/kernel/generic/include/mm/as.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __AS_H__ |
#define __AS_H__ |
#ifndef KERN_AS_H_ |
#define KERN_AS_H_ |
/** Address space area flags. */ |
#define AS_AREA_READ 1 |
/trunk/kernel/generic/include/mm/buddy.h |
---|
26,14 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup genericmm |
/** @addtogroup genericmm |
* @{ |
*/ |
/** @file |
*/ |
#ifndef __BUDDY_H__ |
#define __BUDDY_H__ |
#ifndef KERN_BUDDY_H_ |
#define KERN_BUDDY_H_ |
#include <arch/types.h> |
#include <typedefs.h> |
55,10 → 55,10 |
}; |
struct buddy_system { |
uint8_t max_order; /**< Maximal order of block which can be stored by buddy system. */ |
uint8_t max_order; /**< Maximal order of block which can be stored by buddy system. */ |
link_t *order; |
buddy_system_operations_t *op; |
void *data; /**< Pointer to be used by the implementation. */ |
void *data; /**< Pointer to be used by the implementation. */ |
}; |
extern void buddy_system_create(buddy_system_t *b, |
73,6 → 73,5 |
#endif |
/** @} |
/** @} |
*/ |