Searched defs:vcpuTCB (Results 1 - 2 of 2) sorted by relevance
| /seL4-test-master/kernel/include/arch/arm/arch/object/ | ||
| H A D | vcpu.h | 74 struct tcb *vcpuTCB; member in struct:vcpu |
| /seL4-test-master/kernel/include/arch/x86/arch/object/ | ||
| H A D | vcpu.h | 270 struct tcb *vcpuTCB; member in struct:vcpu |
Completed in 36 milliseconds