Home
last modified time | relevance | path

Searched refs:x (Results 1 – 25 of 52) sorted by relevance

123

/seL4-master/src/
A Dutil.c243 return count - x; in clz32()
298 return count - x; in clz64()
305 unsigned count = (x == 0); in ctz32()
367 unsigned count = (x == 0); in ctz64()
422 CONST int __clzsi2(uint32_t x) in __clzsi2() argument
424 return clz32(x); in __clzsi2()
429 CONST int __clzdi2(uint64_t x) in __clzdi2() argument
431 return clz64(x); in __clzdi2()
436 CONST int __ctzsi2(uint32_t x) in __ctzsi2() argument
438 return ctz32(x); in __ctzsi2()
[all …]
/seL4-master/include/
A Dutil.h22 #define UL_CONST(x) x argument
23 #define ULL_CONST(x) x argument
33 #define UL_CONST(x) PASTE(x, ul) argument
34 #define ULL_CONST(x) PASTE(x, llu) argument
44 #define ARRAY_SIZE(x) (sizeof(x) / sizeof(x[0])) argument
102 #define likely(x) __builtin_expect(!!(x), 1) argument
103 #define unlikely(x) __builtin_expect(!!(x), 0) argument
105 #define likely(x) (!!(x)) argument
106 #define unlikely(x) (!!(x)) argument
166 #define CTZL(x) __builtin_ctzl(x) argument
[all …]
A Dbasic_types.h24 #define _macro_concat_helper2(x,y,z) x ## y ## z argument
25 #define _macro_concat_helper(x,y,z) _macro_concat_helper2(x,y,z) argument
27 #define _macro_str_concat_helper2(x) #x argument
28 #define _macro_str_concat_helper1(x,y) _macro_str_concat_helper2(x ## y) argument
29 #define _macro_str_concat(x,y) _macro_str_concat_helper1(x,y) argument
32 #define SEL4_PRIx_word _macro_str_concat(_seL4_word_fmt, x)
40 #define SEL4_WORD_CONST(x) _macro_concat_helper(x, _seL4_word_fmt, u) argument
A Dmachine.h52 #define paddr_to_pptr(x) ptrFromPAddr(x) argument
53 #define pptr_to_paddr(x) addrFromPPtr(x) argument
54 #define kpptr_to_paddr(x) addrFromKPPtr(x) argument
/seL4-master/tools/
A Dumm.py71 def is_base(x): argument
72 return (x[0] == 'Base')
75 def base_name(x): argument
76 return x[1]
89 map(lambda x: (x[0].insert(0, name)), res)
100 return (reduce(lambda x, y: x + y, res))
106 lines = map(lambda x: x.rstrip(), in_file.readlines())
110 grps = splitBy(lambda x: x == '', lines)
/seL4-master/include/plat/pc99/plat/machine/
A Dpci.h9 #define get_pci_bus(x) (((x)>>8u) & 0xffu) argument
10 #define get_pci_dev(x) (((x)>>3u) & 0x1fu) argument
11 #define get_pci_fun(x) ((x) & 0x7u) argument
/seL4-master/src/arch/arm/machine/
A Dgic_v3.c42 #define MPIDR_AFF0(x) (x & 0xff) argument
43 #define MPIDR_AFF1(x) ((x >> 8) & 0xff) argument
44 #define MPIDR_AFF2(x) ((x >> 16) & 0xff) argument
45 #define MPIDR_AFF3(x) ((x >> 32) & 0xff) argument
47 #define MPIDR_AFF0(x) (x & 0xff) argument
48 #define MPIDR_AFF1(x) ((x >> 8) & 0xff) argument
49 #define MPIDR_AFF2(x) ((x >> 16) & 0xff) argument
50 #define MPIDR_AFF3(x) (0) argument
52 #define MPIDR_MT(x) (x & BIT(24)) argument
53 #define MPIDR_AFF_MASK(x) (x & 0xff00ffffff) argument
[all …]
/seL4-master/libsel4/include/sel4/
A Dsimple_types.h90 #define _macro_str_concat_helper2(x) #x argument
91 #define _macro_str_concat_helper1(x,y) _macro_str_concat_helper2(x ## y) argument
92 #define _macro_str_concat(x,y) _macro_str_concat_helper1(x,y) argument
97 #define SEL4_PRIx64 _macro_str_concat(_seL4_int64_fmt, x)
125 #define SEL4_PRIx_word _macro_str_concat(_seL4_word_fmt, x)
A Dmacros.h20 #define SEL4_DEPRECATED(x) __attribute__((deprecated(x))) argument
21 #define SEL4_DEPRECATE_MACRO(x) _Pragma("deprecated") x argument
/seL4-master/include/benchmark/
A Dbenchmark.h17 #define TRACE_POINT_START(x) trace_point_start(x) argument
18 #define TRACE_POINT_STOP(x) trace_point_stop(x) argument
59 #define TRACE_POINT_START(x) argument
60 #define TRACE_POINT_STOP(x) argument
/seL4-master/src/arch/arm/armv/armv7-a/
A Dcache.c27 #define LOUU(x) (((x) >> 27) & MASK(3)) argument
28 #define LOC(x) (((x) >> 24) & MASK(3)) argument
29 #define LOUIS(x) (((x) >> 21) & MASK(3)) argument
30 #define CTYPE(x,n) (((x) >> (n*3)) & MASK(3)) argument
A Dtlb.c21 int x, y; in lockTLBEntry() local
29 x = 1 | (n << 22) | (n << 27); in lockTLBEntry()
37 x = 1 | (n << 28); in lockTLBEntry()
49 lockTLBEntryCritical(vaddr, x, y); in lockTLBEntry()
/seL4-master/src/arch/arm/armv/armv8-a/64/
A Dcache.c26 #define LOUU(x) (((x) >> 27) & MASK(3)) argument
27 #define LOC(x) (((x) >> 24) & MASK(3)) argument
28 #define LOUIS(x) (((x) >> 21) & MASK(3)) argument
29 #define CTYPE(x,n) (((x) >> (n*3)) & MASK(3)) argument
/seL4-master/src/arch/arm/armv/armv8-a/32/
A Dcache.c27 #define LOUU(x) (((x) >> 27) & MASK(3)) argument
28 #define LOC(x) (((x) >> 24) & MASK(3)) argument
29 #define LOUIS(x) (((x) >> 21) & MASK(3)) argument
30 #define CTYPE(x,n) (((x) >> (n*3)) & MASK(3)) argument
/seL4-master/include/arch/arm/arch/32/mode/machine/
A Ddebug.h74 uint32_t x; in getDIDR() local
76 asm volatile("mrc p14, 0, %0, c0, c0, 0" : "=r"(x)); in getDIDR()
78 return x; in getDIDR()
124 uint32_t x; in getVCR() local
126 asm volatile("mrc p14, 0, %0, c0, c7, 0" : "=r"(x)); in getVCR()
128 return x; in getVCR()
131 static inline void setVCR(uint32_t x) in setVCR() argument
133 asm volatile("mcr p14, 0, %0, c0, c7, 0" : : "r"(x)); in setVCR()
/seL4-master/include/drivers/irq/
A Driscv_plic0.h57 #define PLAT_PLIC_THRES_ADJUST(x) ((x) - PLIC_THRES_PER_CONTEXT) argument
58 #define PLAT_PLIC_EN_ADJUST(x) ((x) - PLIC_EN_PER_CONTEXT) argument
62 #define PLAT_PLIC_THRES_ADJUST(x) (x) argument
63 #define PLAT_PLIC_EN_ADJUST(x) (x) argument
/seL4-master/include/arch/arm/armv/armv8-a/64/armv/
A Dvcpu.h51 #define ESR_EC(x) (((x) & 0xfc000000) >> 26) argument
53 #define VTCR_EL2_T0SZ(x) ((x) & 0x3f) argument
54 #define VTCR_EL2_SL0(x) (((x) & 0x3) << 6) argument
55 #define VTCR_EL2_IRGN0(x) (((x) & 0x3) << 8) argument
56 #define VTCR_EL2_ORGN0(x) (((x) & 0x3) << 10) argument
57 #define VTCR_EL2_SH0(x) (((x) & 0x3) << 12) argument
58 #define VTCR_EL2_TG0(x) (((x) & 0x3) << 14) argument
59 #define VTCR_EL2_PS(x) (((x) & 0x7) << 16) argument
74 #define ID_AA64MMFR0_EL1_PARANGE(x) ((x) & 0xf) argument
75 #define ID_AA64MMFR0_TGRAN4(x) (((x) >> 28u) & 0xf) argument
/seL4-master/
A Dgdb-macros420 printf "guard: %x, capguard: %x", $guard, $capGuard
563 printf "ctp: %x\n", $vtd_re_ctp
577 printf "Index: %x\n", $count
601 printf "did: %x\n", $vtd_ce_did
602 printf "aw: %x\n", $vtd_ce_aw
603 printf "asr: %x\n", $vtd_ce_asr
617 printf "index %x\n", $count
788 printf "Address 0x%x ", $pte_addr
801 printf "AVL%x\n", $pte_avl
814 #printf "PGD@0x%x is 0x%x\n", $pgdptr, $pte
[all …]
/seL4-master/include/arch/arm/arch/64/mode/object/
A Dstructures.h68 #define GET_PGD_INDEX(x) (((x) >> (PGD_INDEX_OFFSET)) & MASK(PGD_INDEX_BITS)) argument
69 #define GET_PUD_INDEX(x) (((x) >> (PUD_INDEX_OFFSET)) & MASK(PUD_INDEX_BITS)) argument
70 #define GET_UPUD_INDEX(x) (((x) >> (PUD_INDEX_OFFSET)) & MASK(UPUD_INDEX_BITS)) argument
71 #define GET_PD_INDEX(x) (((x) >> (PD_INDEX_OFFSET)) & MASK(PD_INDEX_BITS)) argument
72 #define GET_PT_INDEX(x) (((x) >> (PT_INDEX_OFFSET)) & MASK(PT_INDEX_BITS)) argument
/seL4-master/include/arch/x86/arch/64/mode/object/
A Dstructures.h61 #define GET_PML4_INDEX(x) ( ((x) >> (PML4_INDEX_OFFSET)) & MASK(PML4_INDEX_BITS)) argument
63 #define GET_PDPT_INDEX(x) ( ((x) >> (PDPT_INDEX_OFFSET)) & MASK(PDPT_INDEX_BITS)) argument
64 #define GET_PD_INDEX(x) ( ((x) >> (PD_INDEX_OFFSET)) & MASK(PD_INDEX_BITS)) argument
65 #define GET_PT_INDEX(x) ( ((x) >> (PT_INDEX_OFFSET)) & MASK(PT_INDEX_BITS)) argument
/seL4-master/src/machine/
A Dio.c137 #define S(x) [(x)-'A'] argument
182 #define OOB(x) ((unsigned)(x)-'A' > 'z'-'A') argument
253 for (; x; x >>= 4) { in fmt_x()
254 *--s = xdigits[(x & 15)] | lower; in fmt_x()
259 static char *fmt_o(word_t x, char *s) in fmt_o() argument
261 for (; x; x >>= 3) { in fmt_o()
262 *--s = '0' + (x & 7); in fmt_o()
267 static char *fmt_u(word_t x, char *s) in fmt_u() argument
270 for (; x > ULONG_MAX; x /= 10) { in fmt_u()
271 *--s = '0' + x % 10; in fmt_u()
[all …]
/seL4-master/include/arch/x86/arch/object/
A Dstructures.h79 #define GET_EPT_PML4_INDEX(x) ( (((uint64_t)(x)) >> (EPT_PML4_INDEX_OFFSET)) & MASK(EPT_PML4_INDEX_… argument
80 #define GET_EPT_PDPT_INDEX(x) ( ((x) >> (EPT_PDPT_INDEX_OFFSET)) & MASK(EPT_PDPT_INDEX_BITS)) argument
81 #define GET_EPT_PD_INDEX(x) ( ((x) >> (EPT_PD_INDEX_OFFSET)) & MASK(EPT_PD_INDEX_BITS)) argument
82 #define GET_EPT_PT_INDEX(x) ( ((x) >> (EPT_PT_INDEX_OFFSET)) & MASK(EPT_PT_INDEX_BITS)) argument
/seL4-master/libsel4/tools/
A Dsyscall_stub_gen.py384 def align_up(x, a): argument
385 if x % a == 0:
386 return x
387 return x + a - (x % a)
499 return [" | ".join(x) for x in words if len(x) > 0]
548 return len([x for x in output_params if not x.type.pass_by_reference()]) != 0
609 for x in input_params:
611 cap_params.append(x)
613 standard_params.append(x)
646 cap_expressions = [x.name for x in cap_params]
[all …]
/seL4-master/src/drivers/serial/
A Dimx-lpuart.c25 #define UART_REG(x) ((volatile uint32_t *)(UART_PPTR + (x))) argument
A Dpl011.c19 #define UART_REG(x) ((volatile uint32_t *)(UART_PPTR + (x))) argument

Completed in 57 milliseconds

123