Rev 2927 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2927 | Rev 3403 | ||
|---|---|---|---|
| Line 42... | Line 42... | ||
| 42 | #include <arch/cp0.h> |
42 | #include <arch/cp0.h> |
| 43 | 43 | ||
| 44 | /** Architecture dependent address space init. */ |
44 | /** Architecture dependent address space init. */ |
| 45 | void as_arch_init(void) |
45 | void as_arch_init(void) |
| 46 | { |
46 | { |
| 47 | as_operations = &as_pt_operations; |
47 | as_operations = &as_pt_operations; |
| 48 | asid_fifo_init(); |
48 | asid_fifo_init(); |
| 49 | } |
49 | } |
| 50 | 50 | ||
| 51 | /** Install address space. |
51 | /** Install address space. |
| 52 | * |
52 | * |