Lines Matching full:tables
78 * @param ptables Page tables to walk
89 * @param ptables Toplevel pointer to page tables
96 * Debug function for dumping out page tables
118 * @param ptables Top-level pointer to the page tables, as programmed in CR3
125 * kernel's page tables to prevent writes and generate an exception
139 /* Called from page fault handler. ptables here is the ptage tables for the
140 * faulting user thread and not the current set of page tables
154 * structure here or the CPU will triple fault. The incoming page tables must in z_x86_kpti_is_access_ok()
160 __ASSERT((phys & PTABLES_ALIGN) == 0U, "unaligned page tables"); in z_x86_kpti_is_access_ok()
169 * current set of page tables
182 /* Return the virtual address of the page tables installed in this CPU in CR3 */
208 /* Get the page tables used by this thread during normal execution */
215 * the kernel's page tables and not the page tables associated in z_x86_thread_page_tables_get()