Searched refs:l3_ro_mpt (Results 1 – 1 of 1) sorted by relevance
253 l3_pgentry_t *l3_ro_mpt; in destroy_m2p_mapping() local257 l3_ro_mpt = map_l3t_from_l4e( in destroy_m2p_mapping()280 pl2e = map_l2t_from_l3e(l3_ro_mpt[l3_table_offset(va)]) + in destroy_m2p_mapping()302 UNMAP_DOMAIN_PAGE(l3_ro_mpt); in destroy_m2p_mapping()383 l3_pgentry_t *l3_ro_mpt = NULL; in setup_m2p_table() local455 l3e_write(&l3_ro_mpt[l3_table_offset(va)], in setup_m2p_table()481 l3_pgentry_t *l3_ro_mpt; in paging_init() local507 if ( (l3_ro_mpt = alloc_xen_pagetable()) == NULL ) in paging_init()509 clear_page(l3_ro_mpt); in paging_init()565 l3e_write(&l3_ro_mpt[l3_table_offset(va)], in paging_init()[all …]
Completed in 7 milliseconds