Searched refs:boot_pml4_addr (Results 1 – 1 of 1) sorted by relevance
315 let boot_pml4_addr = GuestAddress(0x9000); in setup_page_tables() localVariable320 mem.write_obj_at_addr(boot_pdpte_addr.offset() as u64 | 0x03, boot_pml4_addr) in setup_page_tables()333 sregs.cr3 = boot_pml4_addr.offset() as u64; in setup_page_tables()