| /trunk/kernel/generic/include/ddi/ddi.h |
|---|
| 38,13 → 38,14 |
| #include <ddi/ddi_arg.h> |
| #include <arch/types.h> |
| #include <proc/task.h> |
| #include <adt/list.h> |
| /** Structure representing contiguous physical memory area. */ |
| typedef struct { |
| uintptr_t pbase; /**< Physical base of the area. */ |
| uintptr_t vbase; /**< Virtual base of the area. */ |
| count_t frames; /**< Number of frames in the area. */ |
| bool cacheable; /**< Cacheability. */ |
| uintptr_t pbase; /**< Physical base of the area. */ |
| pfn_t frames; /**< Number of frames in the area. */ |
| link_t link; /**< Linked list link */ |
| } parea_t; |
| extern void ddi_init(void); |
| /trunk/kernel/generic/include/mm/page.h |
|---|
| 42,7 → 42,7 |
| /** Operations to manipulate page mappings. */ |
| typedef struct { |
| void (* mapping_insert)(as_t *as, uintptr_t page, uintptr_t frame, |
| int flags); |
| int flags); |
| void (* mapping_remove)(as_t *as, uintptr_t page); |
| pte_t *(* mapping_find)(as_t *as, uintptr_t page); |
| } page_mapping_operations_t; |
| 59,7 → 59,9 |
| extern pte_t *page_table_create(int flags); |
| extern void page_table_destroy(pte_t *page_table); |
| extern void map_structure(uintptr_t s, size_t size); |
| extern uintptr_t hw_map(uintptr_t physaddr, size_t size); |
| extern void hw_area(uintptr_t *physaddr, pfn_t *frames); |
| #endif |