Searched refs:tcb2 (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/
H A Dhelpers.h127 int are_tcbs_distinct(seL4_CPtr tcb1, seL4_CPtr tcb2);
H A Dhelpers.c161 int are_tcbs_distinct(seL4_CPtr tcb1, seL4_CPtr tcb2) argument
180 error = seL4_TCB_ReadRegisters(tcb2, 0, 0, 1, &regs);
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dscheduler.c443 seL4_CPtr tcb0, tcb1, tcb2, tcb3; member in struct:ipc_test_data
617 data.tcb2 = get_helper_tcb(&thread2);

Completed in 86 milliseconds