Searched defs:IpiModeRemoteCall_t (Results 1 - 4 of 4) sorted by relevance
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/smp/ | ||
H A D | ipi.h | 19 } IpiModeRemoteCall_t; typedef in typeref:enum:__anon2 |
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/smp/ | ||
H A D | ipi.h | 18 } IpiModeRemoteCall_t; typedef in typeref:enum:__anon3 |
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/smp/ | ||
H A D | ipi.h | 20 } IpiModeRemoteCall_t; typedef in typeref:enum:__anon6 |
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/smp/ | ||
H A D | ipi.h | 20 } IpiModeRemoteCall_t; typedef in typeref:enum:__anon7 |
Completed in 29 milliseconds