Searched refs:ct (Results 1 - 3 of 3) sorted by relevance
| /seL4-test-master/projects/musllibc/src/thread/microblaze/ |
| H A D | clone.s | 5 # fn, st, fl, ar, pt, tl, ct
6 # fl, st, __, pt, ct, tl
|
| /seL4-test-master/kernel/src/arch/x86/machine/ |
| H A D | breakpoint.c | 586 tcb_t *ct; local
601 ct = NODE_STATE(ksCurThread);
609 active_bp = getAndResetActiveBreakpoint(ct);
615 single_step_info = testAndResetSingleStepException(ct);
622 if (singleStepFaultCounterReady(ct) == false) {
|
| /seL4-test-master/kernel/src/object/ |
| H A D | cnode.c | 891 cap_transfer_t ct; local
902 ct = loadCapTransfer(buffer);
903 cptr = ct.ctReceiveRoot;
911 lus_ret = lookupTargetSlot(cnode, ct.ctReceiveIndex, ct.ctReceiveDepth);
|
Completed in 90 milliseconds