Home
last modified time | relevance | path

Searched refs:page_table (Results 1 – 7 of 7) sorted by relevance

/packages/modules/Virtualization/pvmfw/src/
Dmemory.rs45 let mut page_table = PageTable::default(); in init_page_table() localVariable
49 page_table.map_data(&layout::scratch_range().into())?; in init_page_table()
50 page_table.map_data(&stack_range().into())?; in init_page_table()
51 page_table.map_code(&layout::text_range().into())?; in init_page_table()
52 page_table.map_rodata(&layout::rodata_range().into())?; in init_page_table()
53 page_table.map_data_dbm(&appended_payload_range().into())?; in init_page_table()
54 if let Err(e) = page_table.map_device(&layout::console_uart_range().into()) { in init_page_table()
58 Ok(page_table) in init_page_table()
Dentry.rs207 let page_table = memory::init_page_table().map_err(|e| { in main_wrapper() localVariable
225 page_table, in main_wrapper()
/packages/modules/Virtualization/vmbase/example/src/
Dmain.rs51 let mut page_table = PageTable::default(); in init_page_table() localVariable
53 page_table.map_device(&DEVICE_REGION)?; in init_page_table()
54 page_table.map_code(&text_range().into())?; in init_page_table()
55 page_table.map_rodata(&rodata_range().into())?; in init_page_table()
56 page_table.map_data(&scratch_range().into())?; in init_page_table()
57 page_table.map_data(&boot_stack_range().into())?; in init_page_table()
58 page_table.map_rodata(&dtb_range().into())?; in init_page_table()
59 page_table.map_device(pci_bar_range)?; in init_page_table()
65 page_table.activate(); in init_page_table()
/packages/modules/Virtualization/rialto/src/
Dmain.rs75 let mut page_table = PageTable::default(); in new_page_table() localVariable
77 page_table.map_data(&layout::scratch_range().into())?; in new_page_table()
78 page_table.map_data(&layout::stack_range(40 * PAGE_SIZE).into())?; in new_page_table()
79 page_table.map_code(&layout::text_range().into())?; in new_page_table()
80 page_table.map_rodata(&layout::rodata_range().into())?; in new_page_table()
81 page_table.map_device(&layout::console_uart_range().into())?; in new_page_table()
83 Ok(page_table) in new_page_table()
92 let page_table = new_page_table()?; in try_main() localVariable
95 page_table, in try_main()
/packages/modules/Virtualization/vmbase/src/memory/
Dshared.rs19 use super::page_table::{PageTable, MMIO_LAZY_MAP_FLAG};
78 page_table: PageTable, field
92 mut page_table: PageTable, in new()
110 unsafe { page_table.activate() } in new()
115 page_table, in new()
146 self.page_table.map_rodata(&get_va_range(range)).map_err(|e| { in alloc_range()
165 self.page_table.map_rodata(&get_va_range(range)).map_err(|e| { in alloc_range_outside_main_memory()
176 self.page_table.map_data_dbm(&get_va_range(range)).map_err(|e| { in alloc_range_mut()
207 self.page_table.map_device_lazy(&get_va_range(&range)).map_err(|e| { in map_mmio_range()
212 self.page_table.map_device(&get_va_range(&range)).map_err(|e| { in map_mmio_range()
[all …]
Ddbm.rs17 use super::page_table::PageTable;
/packages/modules/Virtualization/vmbase/src/
Dmemory.rs19 mod page_table; module
24 pub use page_table::PageTable;