Searched refs:iopt (Results 1 - 3 of 3) sorted by relevance
| /seL4-test-master/kernel/src/plat/pc99/machine/ |
| H A D | intel-vtd.c | 322 vtd_pte_t *iopt; local
327 iopt = (vtd_pte_t *) it_alloc_paging();
328 flushCacheRange(iopt, seL4_IOPageTableBits);
334 pptr_to_paddr(iopt), /* Address Space Root */
340 iopt = (vtd_pte_t *)paddr_to_pptr(vtd_cte_ptr_get_asr(vtd_context_slot));
352 vtd_pte_slot = iopt + iopt_index;
359 iopt = (vtd_pte_t *) it_alloc_paging();
360 flushCacheRange(iopt, seL4_IOPageTableBits);
362 *vtd_pte_slot = vtd_pte_new(pptr_to_paddr(iopt), 1, 1);
365 iopt
[all...] |
| /seL4-test-master/kernel/src/arch/x86/object/ |
| H A D | iospace.c | 76 static lookupIOPTSlot_ret_t lookupIOPTSlot_resolve_levels(vtd_pte_t *iopt, word_t translation, argument
85 if (iopt == 0) {
94 iopt_slot = iopt + iopt_index;
107 static inline lookupIOPTSlot_ret_t lookupIOPTSlot(vtd_pte_t *iopt, word_t io_address) argument
111 if (iopt == 0) {
117 return lookupIOPTSlot_resolve_levels(iopt, io_address >> PAGE_BITS,
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | iopt.c | 205 DEFINE_TEST(IOPT0009, "Test iopt no overlapping PT", test_iopt_no_overlapping_pt, true)
243 map_iopt_from_iospace(env_t env, seL4_CPtr iospace, seL4_CPtr *iopt, seL4_CPtr *frame) argument
251 *iopt = vka_alloc_io_page_table_leaky(&env->vka);
252 test_assert(*iopt);
253 error = seL4_ARM_IOPageTable_Map(*iopt, iospace, IOPT_MAP_BASE);
408 DEFINE_TEST(IOPT0009, "Test ARM iopt no overlapping PT", test_iopt_no_overlapping_pt, true)
|
Completed in 35 milliseconds