Searched refs:K_MEM_PAGE_FRAME_RESERVED (Results 1 – 5 of 5) sorted by relevance
34 k_mem_page_frame_set(pf, K_MEM_PAGE_FRAME_RESERVED); in arch_reserved_pages_update()
138 #define K_MEM_PAGE_FRAME_RESERVED BIT(1) macro205 return (pf->va_and_flags & K_MEM_PAGE_FRAME_RESERVED) != 0U; in k_mem_page_frame_is_reserved()
63 * ``K_MEM_PAGE_FRAME_RESERVED`` indicates a physical page reserved by hardware
361 k_mem_page_frame_set(&k_mem_page_frames[idx], K_MEM_PAGE_FRAME_RESERVED); in arch_reserved_pages_update()
2019 K_MEM_PAGE_FRAME_RESERVED); in mark_addr_page_reserved()
