Rev 3940 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3940 | Rev 3973 | ||
|---|---|---|---|
| Line 41... | Line 41... | ||
| 41 | #include <arch/exception.h> |
41 | #include <arch/exception.h> |
| 42 | #include <typedefs.h> |
42 | #include <typedefs.h> |
| 43 | #include <arch/types.h> |
43 | #include <arch/types.h> |
| 44 | #include <interrupt.h> |
44 | #include <interrupt.h> |
| 45 | #include <arch/mm/frame.h> |
45 | #include <arch/mm/frame.h> |
| 46 | #include <ddi/ddi.h> |
- | |
| 47 | - | ||
| 48 | /** Physical memory area for devices. */ |
- | |
| 49 | static parea_t dev_area; |
- | |
| 50 | 46 | ||
| 51 | /** Initializes page tables. |
47 | /** Initializes page tables. |
| 52 | * |
48 | * |
| 53 | * 1:1 virtual-physical mapping is created in kernel address space. Mapping |
49 | * 1:1 virtual-physical mapping is created in kernel address space. Mapping |
| 54 | * for table with exception vectors is also created. |
50 | * for table with exception vectors is also created. |
| Line 108... | Line 104... | ||
| 108 | 104 | ||
| 109 | last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE); |
105 | last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE); |
| 110 | return virtaddr; |
106 | return virtaddr; |
| 111 | } |
107 | } |
| 112 | 108 | ||
| 113 | void hw_area(void) |
- | |
| 114 | { |
- | |
| 115 | dev_area.pbase = end_frame; |
- | |
| 116 | dev_area.frames = SIZE2FRAMES(0xffffffff - end_frame); |
- | |
| 117 | ddi_parea_register(&dev_area); |
- | |
| 118 | } |
- | |
| 119 | - | ||
| 120 | /** @} |
109 | /** @} |
| 121 | */ |
110 | */ |