Home
last modified time | relevance | path

Searched defs:x (Results 1 – 25 of 36) sorted by relevance

12

/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/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
105 #define likely(x) (!!(x)) argument
106 #define unlikely(x) (!!(x)) argument
166 #define CTZL(x) __builtin_ctzl(x) argument
188 CONST clzl(unsigned long x) in clzl()
213 CONST clzll(unsigned long long x) in clzll()
235 CONST ctzl(unsigned long x) in ctzl()
[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
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/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/
A Dutil.c181 static UNUSED CONST inline unsigned clz32(uint32_t x) in clz32()
246 static UNUSED CONST inline unsigned clz64(uint64_t x) in clz64()
303 static UNUSED CONST inline unsigned ctz32(uint32_t x) in ctz32()
365 static UNUSED CONST inline unsigned ctz64(uint64_t x) in ctz64()
422 CONST int __clzsi2(uint32_t x) in __clzsi2()
429 CONST int __clzdi2(uint64_t x) in __clzdi2()
436 CONST int __ctzsi2(uint32_t x) in __ctzsi2()
443 CONST int __ctzdi2(uint64_t x) in __ctzdi2()
/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/src/arch/x86/64/
A Dtraps.S63 #define LOAD_USER_CONTEXT_OFFSET(x) LOAD_USER_CONTEXT; addq $((x) * 8), %rsp argument
65 #define LOAD_IRQ_STACK(x) movq %gs:8, %x argument
74 #define LOAD_USER_CONTEXT_OFFSET(x) movq (ksCurThread), %rsp; addq $(CONFIG_XSAVE_SIZE + 22*8 - 6*8… argument
77 #define LOAD_IRQ_STACK(x) leaq x64KSIRQStack, %x argument
/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/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
/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/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
A Dmacros.h20 #define SEL4_DEPRECATED(x) __attribute__((deprecated(x))) argument
21 #define SEL4_DEPRECATE_MACRO(x) _Pragma("deprecated") x argument
/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/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
A Dtegra_omap3_dwapb.c19 #define UART_REG(x) ((volatile uint32_t *)(UART_PPTR + (x))) argument
A Dmeson-gx-uart.c20 #define UART_REG(x) ((volatile uint32_t *)(UART_PPTR + (x))) argument
/seL4-master/tools/
A Dumm.py71 def is_base(x): argument
75 def base_name(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/src/arch/x86/32/
A Dtraps.S44 #define SET_KERNEL_STACK_FROM(x) \ argument
47 #define SET_KERNEL_STACK_FROM(x) \ argument
/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/include/arch/arm/arch/32/mode/machine/
A Ddebug.h74 uint32_t x; in getDIDR() local
124 uint32_t x; in getVCR() local
131 static inline void setVCR(uint32_t x) in setVCR()

Completed in 23 milliseconds

12