Searched refs:paging_dump_tables (Results 1 - 8 of 8) sorted by relevance

/barrelfish-master/kernel/include/
H A Dcapabilities.h148 void paging_dump_tables(struct dcb *dispatcher);
/barrelfish-master/kernel/arch/x86_32/
H A Dpage_mappings_arch.c385 void paging_dump_tables(struct dcb *dispatcher) function
H A Dsyscall.c766 paging_dump_tables(dispatcher);
/barrelfish-master/kernel/arch/armv7/
H A Dpaging.c701 void paging_dump_tables(struct dcb *dispatcher) function
H A Dsyscall.c881 paging_dump_tables(dispatcher);
/barrelfish-master/kernel/arch/x86_64/
H A Dpage_mappings_arch.c1118 void paging_dump_tables(struct dcb *dispatcher) function
H A Dvmx_vmkit.c1253 paging_dump_tables(dcb);
/barrelfish-master/kernel/arch/armv8/
H A Dpaging.c812 void paging_dump_tables(struct dcb *dispatcher) function

Completed in 159 milliseconds