/kernel/trunk/arch/ia32/include/mm/asid.h |
---|
37,8 → 37,8 |
typedef int asid_t; |
#define ASID_MAX_ARCH 3 |
#define ASID_MAX_ARCH 0 |
#define asid_get() (ASID_START+1) |
#define asid_install(as) |
#endif |
/kernel/trunk/arch/sparc64/src/mm/frame.c |
---|
33,7 → 33,7 |
void frame_arch_init(void) |
{ |
zone_create(0, config.memory_size >> FRAME_WIDTH, 1, 0); |
zone_create(0, config.memory_size >> FRAME_WIDTH, ADDR2PFN(ALIGN_UP(config.base + config.kernel_size, FRAME_SIZE)), 0); |
/* |
* Workaround to prevent slab allocator from allocating frame 0. |
/kernel/trunk/arch/ia64/src/mm/frame.c |
---|
43,10 → 43,10 |
zone_create(0, config.memory_size >> FRAME_WIDTH, 1, 0); |
/* |
* Workaround to prevent slab allocator from allocating frame 0. |
* Remove the following statement when the kernel is no longer |
* Workaround to prevent slab allocator from allocating frame 0. |
* Remove the following statement when the kernel is no longer |
* identity mapped. |
*/ |
*/ |
frame_mark_unavailable(0, 1); |
/* |
/kernel/trunk/arch/ppc32/include/mm/asid.h |
---|
31,8 → 31,8 |
typedef int asid_t; |
#define ASID_MAX_ARCH 3 |
#define ASID_MAX_ARCH 0 |
#define asid_get() (ASID_START+1) |
#define asid_install(as) |
#endif |