Searched defs:a (Results 1 – 14 of 14) sorted by relevance
| /seL4-master/include/ |
| A D | util.h | 9 #define PASTE(a, b) a ## b argument
10 #define _STRINGIFY(a) #a argument
11 #define STRINGIFY(a) _STRINGIFY(a) argument
45 #define MIN(a,b) (((a)<(b))?(a):(b)) argument
46 #define MAX(a,b) (((a)>(b))?(a):(b)) argument
|
| /seL4-master/src/arch/arm/machine/ |
| A D | cache.c | 12 #define LINE_START(a) ROUND_DOWN(a, L1_CACHE_LINE_SIZE_BITS) argument
13 #define LINE_INDEX(a) (LINE_START(a)>>L1_CACHE_LINE_SIZE_BITS) argument
|
| A D | l2c_310.c | 14 #define L2_LINE_START(a) ROUND_DOWN(a, L2_LINE_SIZE_BITS) argument
|
| /seL4-master/include/arch/riscv/arch/object/ |
| A D | structures.h | 33 #define ASID_LOW(a) (a & MASK(asidLowBits)) argument
34 #define ASID_HIGH(a) ((a >> asidLowBits) & MASK(asidHighBits)) argument
|
| /seL4-master/include/arch/x86/arch/32/mode/object/ |
| A D | structures.h | 59 #define ASID_LOW(a) (a & MASK(asidLowBits)) argument
60 #define ASID_HIGH(a) ((a >> asidLowBits) & MASK(asidHighBits)) argument
|
| /seL4-master/src/plat/pc99/machine/ |
| A D | intel-vtd.c | 60 #define SID_BUS(a) (MASK(8) & (a >> 8)) argument
61 #define SID_DEV(a) (MASK(5) & (a >> 3)) argument
62 #define SID_FUNC(a) (MASK(3) & a) argument
|
| /seL4-master/include/arch/x86/arch/64/mode/object/ |
| A D | structures.h | 111 #define ASID_LOW(a) (a & MASK(asidLowBits)) argument
112 #define ASID_HIGH(a) ((a >> asidLowBits) & MASK(asidHighBits)) argument
|
| /seL4-master/include/arch/arm/arch/64/mode/object/ |
| A D | structures.h | 119 #define ASID_LOW(a) (a & MASK(asidLowBits)) argument
120 #define ASID_HIGH(a) ((a >> asidLowBits) & MASK(asidHighBits)) argument
|
| /seL4-master/include/arch/arm/arch/32/mode/object/ |
| A D | structures.h | 107 #define ASID_LOW(a) (a & MASK(asidLowBits)) argument
108 #define ASID_HIGH(a) ((a >> asidLowBits) & MASK(asidHighBits)) argument
|
| /seL4-master/src/machine/ |
| A D | io.c | 101 #define MASK_TYPE(a) (1U<<( a -' ')) argument
301 char *a, *z, *s = (char *)fmt; in printf_core() local
|
| A D | capdl.c | 54 bool_t same_cap(cap_t a, cap_t b) in same_cap()
|
| /seL4-master/libsel4/tools/ |
| A D | syscall_stub_gen.py | 384 def align_up(x, a): argument
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | syscalls.h | 24 #define MCS_COND(a,b) a argument
26 #define MCS_COND(a,b) b argument
|
| /seL4-master/src/kernel/ |
| A D | boot.c | 812 word_t a = 0; in init_freemem() local
|
Completed in 36 milliseconds