/kernel/trunk/arch/ppc32/include/mm/page.h |
---|
77,6 → 77,8 |
#define SET_FRAME_FLAGS_ARCH(ptl3, i, x) |
#define PTE_VALID_ARCH(p) 1 |
#define PTE_PRESENT_ARCH(p) 1 |
#define PTE_GET_FRAME_ARCH(p) 0 |
#ifndef __ASM__ |
/kernel/trunk/arch/ppc32/src/dummy.s |
---|
36,6 → 36,9 |
.global fpu_init |
.global fpu_enable |
.global fpu_disable |
.global tlb_invalidate_all |
.global tlb_invalidate_asid |
.global tlb_invalidate_pages |
before_thread_runs_arch: |
after_thread_ran_arch: |
44,7 → 47,11 |
fpu_init: |
fpu_enable: |
fpu_disable: |
tlb_invalidate_all: |
tlb_invalidate_asid: |
tlb_invalidate_pages: |
dummy: |
0: |
b 0b |