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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dioports.c97 seL4_CPtr faulter_vspace, faulter_cspace; local
102 faulter_vspace = env->page_directory;
111 faulter_vspace, seL4_NilData);
H A Dmulticore.c215 seL4_CPtr faulter_vspace, faulter_cspace; local
235 faulter_vspace = faulter_thread.process.pd.cptr;
240 faulter_vspace = env->page_directory;
248 faulter_vspace, seL4_NilData);
H A Dfaults.c710 seL4_CPtr faulter_vspace, faulter_cspace, reply_cptr; local
738 faulter_vspace = faulter_thread.process.pd.cptr;
743 faulter_vspace = env->page_directory;
754 faulter_vspace, seL4_NilData);

Completed in 36 milliseconds