Searched refs:likely (Results 1 - 25 of 64) sorted by relevance

123

/seL4-l4v-10.1.1/seL4/src/benchmark/
H A Dbenchmark_track.c27 if (likely(ksUserLogBuffer != 0)) {
29 if (likely(ksLogIndex < MAX_LOG_SIZE)) {
/seL4-l4v-10.1.1/seL4/include/benchmark/
H A Dbenchmark_utilisation.h39 if (likely(benchmark_log_utilisation_enabled)) {
42 if (likely(ksEnter > heir->benchmark.schedule_start_time)) {
H A Dbenchmark.h47 if (likely(ksUserLogBuffer != 0)) {
48 if (likely(ksStarted[id])) {
50 if (likely(ksLogIndex < MAX_LOG_SIZE)) {
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/
H A Dbenchmark_overflowHandler.h28 if (likely(benchmark_log_utilisation_enabled)) {
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/model/
H A Dsmp.h43 if (likely(!atomic_status)) {
/seL4-l4v-10.1.1/seL4/include/machine/
H A Dfpu.h51 if (likely(nativeThreadUsingFPU(thread))) {
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/fastpath/
H A Dfastpath.h40 if (likely(getCurrentPD() != new_pd)) {
134 if (likely(hasDefaultSelectors(cur_thread))) {
/seL4-l4v-10.1.1/seL4/include/
H A Dutil.h62 #define likely(x) __builtin_expect(!!(x), 1) macro
65 #define likely(x) (!!(x)) macro
/seL4-l4v-10.1.1/seL4/include/fastpath/
H A Dfastpath.h40 if (likely(guardBits) && unlikely(cptr2 >> (wordBits - guardBits) != capGuard)) {
/seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/
H A Dinterrupt.h95 if (likely(irq < maxIRQ)) {
/seL4-l4v-10.1.1/seL4/include/plat/omap3/plat/machine/
H A Dinterrupt.h86 if (likely(irq < maxIRQ)) {
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dthread.c109 if (likely(seL4_Fault_get_seL4_FaultType(sender->tcbFault) == seL4_Fault_NullFault)) {
124 if (likely(seL4_Fault_get_seL4_FaultType(receiver->tcbFault) == seL4_Fault_NullFault)) {
205 if (likely(!caps.excaprefs[0] || !receiveBuffer)) {
339 if (likely(NODE_STATE(ksReadyQueuesL1Bitmap[dom]))) {
440 if (likely(thread_state_get_tsType(NODE_STATE(ksCurThread)->tcbState) ==
H A Dcspace.c186 if (likely(n_bits <= levelBits)) {
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Dvcpu.c127 * changes later on, it will be less likely that the person who changes
192 if (likely(vcpu)) {
317 if (likely(armHSCurVCPU == vcpu)) {
338 if (likely(armHSCurVCPU == vcpu)) {
464 if (likely(armHSCurVCPU != new)) {
480 } else if (likely(!armHSVCPUActive && new != NULL)) {
613 if (likely(armHSCurVCPU == vcpu)) {
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/
H A Dc_traps.c158 if (likely(NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[Error] == -1)) {
/seL4-l4v-10.1.1/seL4/src/
H A Dutil.c57 if (likely(c == 0 && ((unsigned long)s % sizeof(unsigned long)) == 0 && (n % sizeof(unsigned long)) == 0)) {
/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv8-a/64/armv/
H A Dvcpu.h612 if (likely(armHSCurVCPU == vcpu)) {
633 if (likely(armHSCurVCPU == vcpu)) {
703 if (likely(vcpu)) {
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/fastpath/
H A Dfastpath.h54 if (likely(getCurrentUserCR3().words[0] != next_cr3.words[0])) {
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dc_traps.c196 if (likely(cur_thread->tcbArch.tcbContext.registers[Error] == -1) &&
/seL4-l4v-10.1.1/seL4/src/arch/x86/
H A Dc_traps.c80 } else if (likely(irq < int_trap_min)) {
/seL4-l4v-10.1.1/seL4/src/fastpath/
H A Dfastpath.c111 if (likely(dest->tcbPriority < NODE_STATE(ksCurThread->tcbPriority)) &&
336 if (likely(!endpointTail)) {
/seL4-l4v-10.1.1/HOL4/examples/dev/Fact32/
H A Dexor32.ml7 (* new components is likely to be relatively rare. *)
/seL4-l4v-10.1.1/seL4/src/object/
H A Dnotification.c218 if (likely(tcb && notification_ptr_get_state(ntfnPtr) == NtfnState_Active)) {
/seL4-l4v-10.1.1/HOL4/src/num/arith/src/
H A DSolve.sml164 (* manifests itself in practice. It is therefore likely that if the *)
/seL4-l4v-10.1.1/HOL4/doc/hol-mode/
H A Dhol-mode.tex47 cursor (point) is over a likely name, it uses that for the library

Completed in 90 milliseconds

123