/seL4-camkes-master/tools/cogent/impl/fs/skel-fs/cogent/lib/ |
H A D | abstract.h | 14 #define likely(x) __builtin_expect(!!(x), 1) macro
|
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/lib/ |
H A D | abstract.h | 14 #define likely(x) __builtin_expect(!!(x), 1) macro
|
/seL4-camkes-master/kernel/src/benchmark/ |
H A D | benchmark_track.c | 23 if (likely(ksUserLogBuffer != 0)) { 25 if (likely(ksLogIndex < MAX_LOG_SIZE)) {
|
/seL4-camkes-master/tools/cogent/cogent/lib/ |
H A D | cogent-defns.h | 14 #define likely(x) __builtin_expect(!!(x), 1) macro
|
/seL4-camkes-master/tools/cogent/impl/net/loopback/cogent/plat/linux/ |
H A D | abstract.h | 29 #define likely(x) __builtin_expect(!!(x), 1) macro
|
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/variant_0/ |
H A D | cogent-defns.h | 14 #define likely(x) __builtin_expect(!!(x), 1) macro
|
/seL4-camkes-master/kernel/include/benchmark/ |
H A D | benchmark_utilisation.h | 27 if (likely(NODE_STATE(benchmark_log_utilisation_enabled))) { 30 if (likely(ksEnter > heir->benchmark.schedule_start_time)) {
|
H A D | benchmark.h | 40 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 D | os.h | 6 #define likely(x) __builtin_expect((x),1) macro
|
/seL4-camkes-master/kernel/include/arch/arm/arch/ |
H A D | benchmark.h | 37 if (likely(NODE_STATE(benchmark_log_utilisation_enabled))) {
|
/seL4-camkes-master/kernel/include/kernel/ |
H A D | traps.h | 35 if (likely(NODE_STATE(benchmark_log_utilisation_enabled))) {
|
/seL4-camkes-master/kernel/include/api/ |
H A D | syscall.h | 22 if (likely(checkBudgetRestart())) { \
|
/seL4-camkes-master/kernel/include/machine/ |
H A D | fpu.h | 44 if (likely(nativeThreadUsingFPU(thread))) {
|
/seL4-camkes-master/kernel/include/arch/x86/arch/machine/ |
H A D | timer.h | 60 if (likely(x86KSapicRatio == 0)) {
|
/seL4-camkes-master/kernel/src/object/ |
H A D | reply.c | 67 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 D | builtin.h | 57 #define likely(x) __builtin_expect(!!(x), 1) macro
|
/seL4-camkes-master/tools/cogent/impl/fs/ext2/cogent/lib/ |
H A D | abstract.h | 126 #define likely(x) __builtin_expect(!!(x), 1) macro
|
/seL4-camkes-master/tools/riscv-pk/machine/ |
H A D | bits.h | 6 #define likely(x) __builtin_expect((x), 1) macro
|
H A D | fp_emulation.h | 45 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 D | util.h | 65 #define likely(x) __builtin_expect(!!(x), 1) macro 68 #define likely(x) (!!(x)) macro
|
/seL4-camkes-master/kernel/src/arch/x86/32/ |
H A D | c_traps.c | 147 if (likely(NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[Error] == -1)) {
|
/seL4-camkes-master/kernel/include/drivers/irq/ |
H A D | am335x.h | 92 if (likely(irq < maxIRQ)) {
|
H A D | omap3.h | 83 if (likely(irq < maxIRQ)) {
|
/seL4-camkes-master/kernel/src/arch/arm/object/ |
H A D | vcpu.c | 60 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 D | thread.c | 114 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) ==
|