Lines Matching refs:pt
133 seL4_CPtr pt = vka_alloc_page_table_leaky(&env->vka);
220 error = seL4_ARM_PageTable_Map(pt, env->page_directory,
262 error = seL4_CNode_Delete(env->cspace_root, pt, seL4_WordBits);
268 pt = vka_alloc_page_table_leaky(&env->vka);
271 error = seL4_ARM_PageTable_Map(pt, env->page_directory,
348 seL4_CPtr pt = vka_alloc_page_table_leaky(&env->vka);
364 error = seL4_ARM_PageTable_Map(pt, env->page_directory,
409 seL4_CPtr pt = vka_alloc_page_table_leaky(&env->vka);
460 error = seL4_ARM_PageTable_Map(pt, env->page_directory,
474 error = seL4_CNode_Delete(env->cspace_root, pt, seL4_WordBits);
480 pt = vka_alloc_page_table_leaky(&env->vka);
483 error = seL4_ARM_PageTable_Map(pt, env->page_directory,