Searched refs:unlikely (Results 1 - 25 of 70) sorted by relevance

123

/seL4-camkes-master/tools/cogent/impl/fs/skel-fs/cogent/lib/
H A Dabstract.h15 #define unlikely(x) __builtin_expect(!!(x), 0) macro
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/lib/
H A Dabstract.h15 #define unlikely(x) __builtin_expect(!!(x), 0) macro
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Drpc-connector-common-from.c69 if (unlikely(length == UINT_MAX)) {
87 if (unlikely(err != 0)) {
/seL4-camkes-master/kernel/src/fastpath/
H A Dfastpath.c45 if (unlikely(fastpath_mi_check(msgInfo) ||
54 if (unlikely(!cap_capType_equals(ep_cap, cap_endpoint_cap) ||
67 if (unlikely(endpoint_ptr_get_state(ep_ptr) != EPState_Recv)) {
73 if (unlikely(dest->tcbArch.tcbContext.breakpointState.single_step_enabled)) {
85 if (unlikely(! isValidVTableRoot_fp(newVTable))) {
115 if (unlikely(dest->tcbPriority < NODE_STATE(ksCurThread->tcbPriority) &&
122 if (unlikely(!cap_endpoint_cap_get_capCanGrant(ep_cap) &&
128 if (unlikely(!pde_pde_invalid_get_stored_asid_valid(stored_hw_asid))) {
134 if (unlikely(dest->tcbDomain != ksCurDomain && maxDom)) {
139 if (unlikely(des
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/arch/riscv/
H A Dmapping.c16 if (unlikely(obj == NULL)) {
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/sel4_arch/aarch32/
H A Dmapping.c16 if (unlikely(obj == NULL)) {
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/sel4_arch/arm_hyp/
H A Dmapping.c16 if (unlikely(obj == NULL)) {
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/sel4_arch/ia32/
H A Dmapping.c16 if (unlikely(obj == NULL)) {
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Derr.h19 #define IS_ERR_VALUE(x) unlikely((x) >= (unsigned long)-MAX_ERRNO)
/seL4-camkes-master/tools/cogent/cogent/lib/
H A Dcogent-defns.h15 #define unlikely(x) __builtin_expect(!!(x), 0) macro
/seL4-camkes-master/tools/cogent/impl/net/loopback/cogent/plat/linux/
H A Dabstract.h30 #define unlikely(x) __builtin_expect(!!(x), 0) macro
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Derr.h21 #define IS_ERR_VALUE(x) unlikely((x) >= (unsigned long)-MAX_ERRNO)
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/variant_0/
H A Dcogent-defns.h15 #define unlikely(x) __builtin_expect(!!(x), 0) macro
/seL4-camkes-master/kernel/include/machine/
H A Dfpu.h36 if (unlikely(NODE_STATE(ksActiveFPUState))) {
40 if (unlikely(NODE_STATE(ksFPURestoresSinceSwitch) > CONFIG_FPU_MAX_RESTORES_SINCE_SWITCH)) {
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/
H A Dos.h5 #define unlikely(x) __builtin_expect((x),0) macro
/seL4-camkes-master/kernel/src/kernel/
H A Dcspace.c21 if (unlikely(lu_ret.status != EXCEPTION_NONE)) {
38 if (unlikely(lu_ret.status != EXCEPTION_NONE)) {
73 if (unlikely(cap_get_capType(root) != cap_cnode_cap)) {
81 if (unlikely(depth < 1 || depth > wordBits)) {
89 if (unlikely(res_ret.status != EXCEPTION_NONE)) {
97 if (unlikely(res_ret.bitsRemaining != 0)) {
136 if (unlikely(cap_get_capType(nodeCap) != cap_cnode_cap)) {
157 if (unlikely(guardBits > n_bits || guard != capGuard)) {
164 if (unlikely(levelBits > n_bits)) {
186 if (unlikely(cap_get_capTyp
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/sel4_arch/aarch64/
H A Dmapping.c16 if (unlikely(obj == NULL)) {
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/sel4_arch/x86_64/
H A Dmapping.c16 if (unlikely(obj == NULL)) {
/seL4-camkes-master/kernel/include/32/mode/
H A Dutil.h18 if (unlikely(denominator > numerator)) {
/seL4-camkes-master/kernel/include/fastpath/
H A Dfastpath.h19 if (unlikely(! cap_capType_equals(cap, cap_cnode_cap))) {
34 if (likely(guardBits) && unlikely(cptr2 >> (wordBits - guardBits) != capGuard)) {
44 } while (unlikely(bits < wordBits && cap_capType_equals(cap, cap_cnode_cap)));
46 if (unlikely(bits > wordBits)) {
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/arch/arm/
H A Dmapping.c25 if (unlikely(obj == NULL) || !config_set(CONFIG_TK1_SMMU)) {
/seL4-camkes-master/kernel/src/arch/arm/object/
H A Dsmmu.c15 if (unlikely(!isVTableRoot(cbSlot->cap))) {
109 if (unlikely(extraCaps.excaprefs[0] == NULL)) {
116 if (unlikely(cap_get_capType(cbCap) != cap_cb_cap)) {
122 if (unlikely(checkARMCBVspace(cbCap) != EXCEPTION_NONE)) {
152 if (unlikely(cap_get_capType(cbAssignSlot->cap) != cap_cb_cap)) {
158 if (unlikely(status != EXCEPTION_NONE)) {
177 if (unlikely(cap_get_capType(cbAssignSlot->cap) == cap_cb_cap)) {
264 if (unlikely(checkARMCBVspace(cap) != EXCEPTION_NONE)) {
276 if (unlikely(extraCaps.excaprefs[0] == NULL)) {
284 if (unlikely(!isVTableRoo
[all...]
/seL4-camkes-master/tools/riscv-pk/machine/
H A Dfp_ldst.c15 if (unlikely((mstatus & MSTATUS_FS) == 0))
40 if (unlikely((mstatus & MSTATUS_FS) == 0))
H A Demulation.c18 if (unlikely((mstatus & MSTATUS_FS) == 0))
23 if (unlikely(addr % sizeof(uintptr_t)))
28 if (unlikely(addr % sizeof(uintptr_t)))
33 if (unlikely(addr % sizeof(uintptr_t)))
38 if (unlikely(addr % sizeof(uintptr_t)))
45 if (unlikely(addr % 4))
50 if (unlikely(addr % 4))
55 if (unlikely(addr % 4))
60 if (unlikely(addr % 4))
136 if (unlikely((ins
[all...]
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c648 if (unlikely(!poolPtr)) {
657 if (unlikely(!pd)) {
679 if (unlikely(cap_get_capType(bufferCap) != cap_small_frame_cap &&
683 if (unlikely(generic_frame_cap_get_capFIsDevice(bufferCap))) {
703 if (unlikely(cap_get_capType(cap) != cap_small_frame_cap &&
709 if (unlikely(generic_frame_cap_get_capFIsDevice(cap))) {
715 if (unlikely(vptr & MASK(seL4_IPCBufferSizeBits))) {
740 if (unlikely(pde_ptr_get_pdeType(pdSlot) != pde_pde_coarse)) {
1063 if (unlikely(find_ret.status != EXCEPTION_NONE || find_ret.pd != pd)) {
1099 if (unlikely(find_re
[all...]

Completed in 138 milliseconds

123