Rev 1733 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1733 | Rev 1780 | ||
|---|---|---|---|
| Line 53... | Line 53... | ||
| 53 | */ |
53 | */ |
| 54 | void as_install_arch(as_t *as) |
54 | void as_install_arch(as_t *as) |
| 55 | { |
55 | { |
| 56 | asid_t asid; |
56 | asid_t asid; |
| 57 | ipl_t ipl; |
57 | ipl_t ipl; |
| 58 | __u32 sr; |
58 | uint32_t sr; |
| 59 | 59 | ||
| 60 | ipl = interrupts_disable(); |
60 | ipl = interrupts_disable(); |
| 61 | spinlock_lock(&as->lock); |
61 | spinlock_lock(&as->lock); |
| 62 | 62 | ||
| 63 | asid = as->asid; |
63 | asid = as->asid; |