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

/seL4-mcs-10.1.1/src/plat/pc99/machine/
H A Dintel-vtd.c281 vtd_map_reserved_page(vtd_cte_t *vtd_context_table, int context_index, paddr_t addr) argument
287 vtd_cte_t *vtd_context_slot = vtd_context_table + context_index;

Completed in 81 milliseconds