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

/seL4-camkes-master/kernel/include/arch/x86/arch/machine/
H A Ddebug.h72 * @param at arch_tcb_t from which the reserved bits will be loaded before
88 arch_tcb_t *uds = &target_thread->tcbArch;
/seL4-camkes-master/kernel/include/arch/riscv/arch/object/
H A Dstructures.h38 } arch_tcb_t; typedef in typeref:struct:arch_tcb
/seL4-camkes-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h37 } arch_tcb_t; typedef in typeref:struct:arch_tcb
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h24 } arch_tcb_t; typedef in typeref:struct:arch_tcb
/seL4-camkes-master/kernel/include/object/
H A Dstructures.h245 /* TCB: size >= 18 words + sizeof(arch_tcb_t) + 1 word on MCS (aligned to nearest power of 2) */
248 arch_tcb_t tcbArch;
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h27 } arch_tcb_t; typedef in typeref:struct:arch_tcb

Completed in 99 milliseconds