Rev 1760 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1760 | Rev 1767 | ||
|---|---|---|---|
| Line 40... | Line 40... | ||
| 40 | 40 | ||
| 41 | static vhpt_entry_t* vhpt_base; |
41 | static vhpt_entry_t* vhpt_base; |
| 42 | 42 | ||
| 43 | __address vhpt_set_up(void) |
43 | __address vhpt_set_up(void) |
| 44 | { |
44 | { |
| 45 | vhpt_base=(vhpt_entry_t*) frame_alloc(VHPT_WIDTH-FRAME_WIDTH,FRAME_KA); |
45 | vhpt_base = frame_alloc(VHPT_WIDTH-FRAME_WIDTH,FRAME_KA | FRAME_ATOMIC); |
| - | 46 | if(!vhpt_base) |
|
| 46 | if(!vhpt_base) panic("Kernel configured with VHPT but no memory for table."); |
47 | panic("Kernel configured with VHPT but no memory for table."); |
| 47 | vhpt_invalidate_all(); |
48 | vhpt_invalidate_all(); |
| 48 | return (__address) vhpt_base; |
49 | return (__address) vhpt_base; |
| 49 | } |
50 | } |
| 50 | 51 | ||
| 51 | 52 | ||