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

12

/seL4-camkes-master/tools/cogent/impl/fs/skel-fs/cogent/lib/
H A Dabstract.h14 #define likely(x) __builtin_expect(!!(x), 1) macro
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/lib/
H A Dabstract.h14 #define likely(x) __builtin_expect(!!(x), 1) macro
/seL4-camkes-master/kernel/src/benchmark/
H A Dbenchmark_track.c23 if (likely(ksUserLogBuffer != 0)) {
25 if (likely(ksLogIndex < MAX_LOG_SIZE)) {
/seL4-camkes-master/tools/cogent/cogent/lib/
H A Dcogent-defns.h14 #define likely(x) __builtin_expect(!!(x), 1) macro
/seL4-camkes-master/tools/cogent/impl/net/loopback/cogent/plat/linux/
H A Dabstract.h29 #define likely(x) __builtin_expect(!!(x), 1) macro
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/variant_0/
H A Dcogent-defns.h14 #define likely(x) __builtin_expect(!!(x), 1) macro
/seL4-camkes-master/kernel/include/benchmark/
H A Dbenchmark_utilisation.h27 if (likely(NODE_STATE(benchmark_log_utilisation_enabled))) {
30 if (likely(ksEnter > heir->benchmark.schedule_start_time)) {
H A Dbenchmark.h40 if (likely(ksUserLogBuffer != 0)) {
41 if (likely(ksStarted[id])) {
43 if (likely(ksLogIndex < MAX_LOG_SIZE)) {
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/
H A Dos.h6 #define likely(x) __builtin_expect((x),1) macro
/seL4-camkes-master/kernel/include/arch/arm/arch/
H A Dbenchmark.h37 if (likely(NODE_STATE(benchmark_log_utilisation_enabled))) {
/seL4-camkes-master/kernel/include/kernel/
H A Dtraps.h35 if (likely(NODE_STATE(benchmark_log_utilisation_enabled))) {
/seL4-camkes-master/kernel/include/api/
H A Dsyscall.h22 if (likely(checkBudgetRestart())) { \
/seL4-camkes-master/kernel/include/machine/
H A Dfpu.h44 if (likely(nativeThreadUsingFPU(thread))) {
/seL4-camkes-master/kernel/include/arch/x86/arch/machine/
H A Dtimer.h60 if (likely(x86KSapicRatio == 0)) {
/seL4-camkes-master/kernel/src/object/
H A Dreply.c67 if (likely(next_ptr != 0)) {
100 if (likely(next_ptr)) {
101 if (likely(call_stack_get_isHead(reply->replyNext))) {
/seL4-camkes-master/projects/util_libs/libutils/include/utils/
H A Dbuiltin.h57 #define likely(x) __builtin_expect(!!(x), 1) macro
/seL4-camkes-master/tools/cogent/impl/fs/ext2/cogent/lib/
H A Dabstract.h126 #define likely(x) __builtin_expect(!!(x), 1) macro
/seL4-camkes-master/tools/riscv-pk/machine/
H A Dbits.h6 #define likely(x) __builtin_expect((x), 1) macro
H A Dfp_emulation.h45 if (likely(((insn) & MASK_FUNCT3) == MASK_FUNCT3)) ; \
66 if (likely(((insn) & MASK_FUNCT3) == MASK_FUNCT3)) tp |= tp << 8; \
/seL4-camkes-master/kernel/include/
H A Dutil.h65 #define likely(x) __builtin_expect(!!(x), 1) macro
68 #define likely(x) (!!(x)) macro
/seL4-camkes-master/kernel/src/arch/x86/32/
H A Dc_traps.c147 if (likely(NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[Error] == -1)) {
/seL4-camkes-master/kernel/include/drivers/irq/
H A Dam335x.h92 if (likely(irq < maxIRQ)) {
H A Domap3.h83 if (likely(irq < maxIRQ)) {
/seL4-camkes-master/kernel/src/arch/arm/object/
H A Dvcpu.c60 if (likely(ARCH_NODE_STATE(armHSCurVCPU) == vcpu)) {
80 if (likely(ARCH_NODE_STATE(armHSCurVCPU) == vcpu)) {
226 if (likely(ARCH_NODE_STATE(armHSCurVCPU) != new)) {
242 } else if (likely(!ARCH_NODE_STATE(armHSVCPUActive) && new != NULL)) {
366 if (likely(ARCH_NODE_STATE(armHSCurVCPU) == vcpu)) {
570 if (likely(ARCH_NODE_STATE(armHSCurVCPU) == vcpu)) {
/seL4-camkes-master/kernel/src/kernel/
H A Dthread.c114 if (likely(seL4_Fault_get_seL4_FaultType(sender->tcbFault) == seL4_Fault_NullFault)) {
146 if (likely(fault_type == seL4_Fault_NullFault)) {
245 if (likely(!caps.excaprefs[0] || !receiveBuffer)) {
417 if (likely(NODE_STATE(ksReadyQueuesL1Bitmap[dom]))) {
596 if (isCurCPU && likely(isSchedulable(NODE_STATE_ON_CORE(ksCurThread, core)))) {
623 if (likely(thread_state_get_tsType(NODE_STATE(ksCurThread)->tcbState) ==

Completed in 218 milliseconds

12