| /lk-master/kernel/vm/ |
| A D | pmm.c | 27 #define PAGE_BELONGS_TO_ARENA(page, arena) \ argument
31 #define PAGE_ADDRESS_FROM_ARENA(page, arena) \ argument
44 if (PAGE_BELONGS_TO_ARENA(page, a)) { in vm_page_to_paddr()
123 if (!page) in pmm_alloc_pages()
129 list_add_tail(list, &page->node); in pmm_alloc_pages()
182 list_delete(&page->node); in pmm_alloc_range()
231 size_t pmm_free_page(vm_page_t *page) { in pmm_free_page() argument
235 list_add_head(&list, &page->node); in pmm_free_page()
362 printf("page %p: address 0x%lx flags 0x%x\n", page, vm_page_to_paddr(page), page->flags); in dump_page()
442 vm_page_t *page; in cmd_pmm() local
[all …]
|
| /lk-master/platform/pc/ |
| A D | console.c | 59 void set_visual_page(int page) { in set_visual_page() argument
60 unsigned short page_offset = page*VPAGE_SIZE; in set_visual_page()
61 visual_page = page; in set_visual_page()
69 void set_active_page(int page) { in set_active_page() argument
72 curr_x = curs_x[page]; in set_active_page()
73 curr_y = curs_y[page]; in set_active_page()
74 active_page = page; in set_active_page()
|
| /lk-master/lib/fs/spifs/ |
| A D | spifs.c | 50 uint8_t *page; member
106 uint8_t *page; member
125 DEBUG_ASSERT(spifs->page); in cursor_init()
130 cursor->data = spifs->page; in cursor_init()
162 cursor->data = spifs->page; in cursor_advance()
268 uint8_t *cursor = spifs->page; in spifs_commit_toc()
301 cursor = spifs->page; in spifs_commit_toc()
577 free(spifs.page); in spifs_format()
605 if (!spifs->page) { in spifs_mount()
682 free(spifs->page); in spifs_mount()
[all …]
|
| /lk-master/external/platform/nrfx/doc/ |
| A D | nrf51_series.dox | 2 @page nrf51_series_drivers nRF51 Series drivers
4 This page lists nrfx driver components supported by the nRF51 Series SoCs.
|
| A D | nrf9160.dox | 2 @page nrf9160_drivers nRF9160 drivers
4 This page lists nrfx driver components supported by the nRF9160 SoC.
|
| A D | nrf52805.dox | 2 @page nrf52805_drivers nRF52805 drivers
4 This page lists nrfx driver components supported by the nRF52805 SoCs.
|
| A D | nrf52820.dox | 2 @page nrf52820_drivers nRF52820 drivers
4 This page lists nrfx driver components supported by the nRF52820 SoC.
|
| A D | nrf52810.dox | 2 @page nrf52810_drivers nRF52810/nRF52811 drivers
4 This page lists nrfx driver components supported by the nRF52810/nRF52811 SoC.
|
| A D | nrf52832.dox | 2 @page nrf52832_drivers nRF52832 drivers
4 This page lists nrfx driver components supported by the nRF52832 SoC.
|
| A D | nrf52833.dox | 2 @page nrf52833_drivers nRF52833 drivers
4 This page lists nrfx driver components supported by the nRF52833 SoC.
|
| A D | nrf52840.dox | 2 @page nrf52840_drivers nRF52840 drivers
4 This page lists nrfx driver components supported by the nRF52840 SoC.
|
| A D | nrf5340.dox | 2 @page nrf5340_drivers nRF5340 drivers
4 This page lists nrfx driver components supported by the nRF5340 SoC.
|
| A D | drv_supp_matrix.dox | 2 @page nrfx_drv_supp_matrix Driver support overview
4 This page lists nrfx driver components supported by each SoC:
|
| /lk-master/platform/pc/include/platform/ |
| A D | console.h | 16 void set_visual_page(int page);
17 void set_active_page(int page);
|
| /lk-master/arch/arm64/ |
| A D | mmu.c | 226 vm_page_t *page; in free_page_table() local
229 page = paddr_to_vm_page(paddr); in free_page_table()
230 if (!page) in free_page_table()
232 pmm_free_page(page); in free_page_table()
606 vm_page_t *page = paddr_to_vm_page(aspace->tt_phys); in arch_mmu_destroy_aspace() local
607 DEBUG_ASSERT(page); in arch_mmu_destroy_aspace()
608 pmm_free_page(page); in arch_mmu_destroy_aspace()
|
| A D | rules.mk | 97 ARCH_LDFLAGS += -z max-page-size=4096
|
| /lk-master/arch/arm/arm/ |
| A D | mmu.c | 422 vm_page_t *page = paddr_to_vm_page(l2_pa); in put_l2_table() local
423 if (!page) in put_l2_table()
427 DEBUG_ASSERT(list_in_list(&page->node)); in put_l2_table()
429 list_delete(&page->node); in put_l2_table()
432 pmm_free_page(page); in put_l2_table()
|
| /lk-master/arch/arm64/include/arch/arm64/ |
| A D | mmu.h | 89 #error User address space size must be larger than page size
102 #error Kernel address space size must be larger than page size
115 #error Ident address space size must be larger than page size
|
| /lk-master/kernel/include/kernel/ |
| A D | vm.h | 151 size_t pmm_free_page(vm_page_t *page) __NONNULL((1));
179 paddr_t vm_page_to_paddr(const vm_page_t *page);
|
| /lk-master/arch/x86/ |
| A D | rules.mk | 96 ARCH_LDFLAGS += -z max-page-size=4096
|
| /lk-master/arch/riscv/ |
| A D | rules.mk | 186 ARCH_LDFLAGS += -z max-page-size=8
|
| /lk-master/arch/mips/ |
| A D | mips.ld | 86 the same address within the page on the next page up. */
|
| /lk-master/external/platform/nrfx/mdk/ |
| A D | nrf51_common.ld | 17 * the new terms are clearly indicated on the first page of each file where
|
| A D | nrf_common.ld | 15 * the new terms are clearly indicated on the first page of each file where
|
| /lk-master/external/platform/lpc15xx/lpcopen/usbd_rom_composite/example/ |
| A D | readme.dox | 46 * page at
|