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

/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/
H A Dtest_addrspace.h25 int test_vspace_mapping(void);
H A Dtest_addrspace.c111 test_vspace_mapping(void) function
H A Dtest.c303 test_vspace_mapping();
/seL4-refos-master/apps/process_server/src/test/
H A Dtest_addrspace.h25 int test_vspace_mapping(void);
H A Dtest_addrspace.c111 test_vspace_mapping(void) function
H A Dtest.c303 test_vspace_mapping();

Completed in 52 milliseconds