Rev 1760 | Rev 1780 | 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 |