Searched refs:readWordFromVSpace_ret_t (Results 1 - 4 of 4) sorted by relevance
/seL4-mcs-10.1.1/src/arch/x86/32/kernel/ | ||
H A D | vspace_32paging.c | 323 } readWordFromVSpace_ret_t; typedef in typeref:struct:readWordFromVSpace_ret 325 static readWordFromVSpace_ret_t 328 readWordFromVSpace_ret_t ret; 390 readWordFromVSpace_ret_t result; |
/seL4-mcs-10.1.1/src/arch/x86/64/kernel/ | ||
H A D | vspace.c | 1609 } readWordFromVSpace_ret_t; typedef in typeref:struct:readWordFromVSpace_ret 1611 static readWordFromVSpace_ret_t 1614 readWordFromVSpace_ret_t ret; 1686 readWordFromVSpace_ret_t result; |
/seL4-mcs-10.1.1/src/arch/arm/32/kernel/ | ||
H A D | vspace.c | 3135 } readWordFromVSpace_ret_t; typedef in typeref:struct:readWordFromVSpace_ret 3137 static readWordFromVSpace_ret_t 3140 readWordFromVSpace_ret_t ret; 3212 readWordFromVSpace_ret_t result; |
/seL4-mcs-10.1.1/src/arch/arm/64/kernel/ | ||
H A D | vspace.c | 2586 } readWordFromVSpace_ret_t; typedef in typeref:struct:readWordFromVSpace_ret 2588 static readWordFromVSpace_ret_t 2592 readWordFromVSpace_ret_t ret; 2640 readWordFromVSpace_ret_t result; |
Completed in 48 milliseconds