Lines Matching refs:pt
164 seL4_CPtr iospace, frame, pt;
177 pt = vka_alloc_io_page_table_leaky(&env->vka);
178 test_assert(pt);
179 error = seL4_X86_IOPageTable_Map(pt, iospace, IOPT_MAP_BASE);
192 seL4_CPtr iospace, frame, pt;
197 pt = vka_alloc_io_page_table_leaky(&env->vka);
198 test_assert(pt);
199 error = seL4_X86_IOPageTable_Map(pt, iospace, IOPT_MAP_BASE);
216 /* unmap the pt */
281 seL4_CPtr pt = 0;
288 error = map_iopt_set(env, cap + i, &pt, &frame);
300 seL4_CPtr iospace, pt, frame;
306 error = map_iopt_set(env, iospace, &pt, &frame);
312 error = seL4_ARM_IOPageTable_Unmap(pt);
315 error = map_iopt_from_iospace(env, iospace, &pt, &frame);
318 error = seL4_ARM_IOPageTable_Unmap(pt);
333 seL4_CPtr iospace, pt, frame;
338 error = map_iopt_set(env, iospace, &pt, &frame);
358 seL4_CPtr iospace, pt, frame;
363 error = map_iopt_set(env, iospace, &pt, &frame);
367 error = seL4_ARM_IOPageTable_Unmap(pt);
371 error = seL4_ARM_IOPageTable_Map(pt, iospace, IOPT_MAP_BASE);
375 pt = vka_alloc_io_page_table_leaky(&env->vka);
376 test_assert(pt);
377 error = seL4_ARM_IOPageTable_Map(pt, iospace, IOPT_MAP_BASE);
391 seL4_CPtr iospace, pt, frame;
396 error = map_iopt_set(env, iospace, &pt, &frame);
400 pt = vka_alloc_io_page_table_leaky(&env->vka);
401 test_assert(pt);
402 error = seL4_ARM_IOPageTable_Map(pt, iospace, IOPT_MAP_BASE);