Lines Matching +full:- +full:- +full:pretty
4 * SPDX-License-Identifier: Apache-2.0
16 #include <zephyr/linker/linker-defs.h>
38 /* Boot-time virtual location of the kernel image. */
41 #define Z_KERNEL_VIRT_SIZE (Z_KERNEL_VIRT_END - Z_KERNEL_VIRT_START)
43 #define Z_VM_OFFSET ((CONFIG_KERNEL_VM_BASE + CONFIG_KERNEL_VM_OFFSET) - \
50 #define Z_BOOT_VIRT_TO_PHYS(virt) ((uintptr_t)(((uint8_t *)virt) - Z_VM_OFFSET))
62 * is otherwise not application-facing.
84 * This page frame is currently involved in a page-in/out operation
128 return (pf->flags & Z_PAGE_FRAME_PINNED) != 0U; in z_page_frame_is_pinned()
133 return (pf->flags & Z_PAGE_FRAME_RESERVED) != 0U; in z_page_frame_is_reserved()
138 return (pf->flags & Z_PAGE_FRAME_MAPPED) != 0U; in z_page_frame_is_mapped()
143 return (pf->flags & Z_PAGE_FRAME_BUSY) != 0U; in z_page_frame_is_busy()
148 return (pf->flags & Z_PAGE_FRAME_BACKED) != 0U; in z_page_frame_is_backed()
162 return page->flags == 0U; in z_page_frame_is_available()
168 "physical address 0x%lx is not page-aligned", phys); in z_assert_phys_aligned()
176 return (uintptr_t)((pf - z_page_frames) * CONFIG_MMU_PAGE_SIZE) + in z_page_frame_to_phys()
183 return pf->addr; in z_page_frame_to_virt()
197 return &z_page_frames[(phys - Z_PHYS_RAM_START) / in z_phys_to_page_frame()
213 /* Debug function, pretty-print page frame information for all frames
228 /* We reserve a virtual page as a scratch area for page-ins/outs at the end
233 (uintptr_t)CONFIG_KERNEL_VM_SIZE - \
259 * marked as available for mappings or page-ins.
265 * called by ISRs as the backing store may be in-use.
269 * @retval -ENOMEM Insufficient backing store space
281 * re-tried.
292 * preemptible. Races to page-in will be appropriately handled by the kernel.
297 * @retval false This page fault was from an un-mapped page, should
298 * be treated as an error, and not re-tried.