Rev 2787 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2787 | Rev 3425 | ||
---|---|---|---|
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 | * |