Searched defs:ARM_HYP_CP14_SAVE_AND_RESTORE_VCPU_THREADS (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/kernel/include/arch/arm/arch/machine/ | ||
H A D | debug_conf.h | 32 #define ARM_HYP_CP14_SAVE_AND_RESTORE_VCPU_THREADS macro |
Completed in 29 milliseconds