Lines Matching refs:tables
424 User-level page tables will \textbf{initially} be limited to a 4k translation
425 granularity. \textbf{Eventually} user-level page tables \textbf{should} have
553 information, such as ACPI tables, and be able to interpret a Barrelfish
599 \item Allocates and builds the CPU driver's page tables.
617 available for free, e.g. for the initial page tables. By moving ELF loading
621 code to relocate them, and to construct their page tables.
653 initialises the inital page tables for the CPU driver (mapping all occupied
655 The frames holding these tables are marked with the EFI memory type\\
663 \item ACPI 1.0 and 2.0 tables.
711 The currently-active page tables.