/barrelfish-master/lib/crt/ |
H A D | crtend.c | 23 __attribute__ ((used, section(".ctors"), aligned(sizeof(CDtor))))
|
H A D | crtbegin.c | 24 __attribute__ ((unused, section(".ctors"), aligned(sizeof(CDtor))))
|
/barrelfish-master/include/spawndomain/ |
H A D | spawndomain.h | 27 struct cnoderef rootcn __attribute__ ((aligned(4))); 28 struct cnoderef taskcn __attribute__ ((aligned(4))); 29 struct cnoderef segcn __attribute__ ((aligned(4))); 30 struct cnoderef pagecn __attribute__ ((aligned(4))); 31 struct capref rootcn_cap __attribute__ ((aligned(4))); 32 struct capref taskcn_cap __attribute__ ((aligned(4))); 33 struct capref pagecn_cap __attribute__ ((aligned(4))); 34 struct capref dispframe __attribute__ ((aligned(4))); 35 struct capref dcb __attribute__ ((aligned(4))); 36 struct capref argspg __attribute__ ((aligned( [all...] |
/barrelfish-master/include/barrelfish/ |
H A D | dispatcher.h | 38 uintptr_t trap_stack[DISPATCHER_STACK_WORDS] __attribute__ ((aligned (16))); 40 uintptr_t stack[DISPATCHER_STACK_WORDS] __attribute__ ((aligned (16)));
|
/barrelfish-master/include/target/x86_32/barrelfish_kpi/ |
H A D | registers_target.h | 37 // Should be aligned at 16-byte boundary, according to Intel 40 uint8_t registers[512 + 16] __attribute__ ((aligned (16)));
|
/barrelfish-master/usr/bench/bomp_progress/ |
H A D | cpu_bound.c | 23 } __attribute__ ((aligned (64)));
|
H A D | sync.c | 31 } __attribute__ ((aligned (64)));
|
/barrelfish-master/kernel/arch/armv7/ |
H A D | init.c | 50 __attribute__((aligned(8))); 101 char abt_stack[EXCEPTION_MODE_STACK_BYTES] __attribute__((aligned(8))); 102 char irq_stack[EXCEPTION_MODE_STACK_BYTES] __attribute__((aligned(8))); 103 char fiq_stack[EXCEPTION_MODE_STACK_BYTES] __attribute__((aligned(8))); 104 char undef_stack[EXCEPTION_MODE_STACK_BYTES] __attribute__((aligned(8))); 105 char svc_stack[EXCEPTION_MODE_STACK_BYTES] __attribute__((aligned(8)));
|
H A D | paging_init.c | 24 __attribute__((aligned(ARM_L1_ALIGN), section(".boot.tables"))); 26 __attribute__((aligned(ARM_L1_ALIGN), section(".boot.tables"))); 28 __attribute__((aligned(ARM_L2_ALIGN), section(".boot.tables"))); 112 * Make sure our page tables are correctly aligned in memory
|
/barrelfish-master/kernel/arch/k1om/ |
H A D | init.c | 77 static struct task_state_segment tss __attribute__ ((aligned (4))); 86 union segment_descriptor gdt[] __attribute__ ((aligned (4))) = { 197 __attribute__ ((aligned(BASE_PAGE_SIZE))); 203 __attribute__ ((aligned(BASE_PAGE_SIZE))), 204 boot_pdpt_hi[PTABLE_SIZE] __attribute__ ((aligned(BASE_PAGE_SIZE))); 210 __attribute__ ((aligned(BASE_PAGE_SIZE))); 213 __attribute__ ((aligned(BASE_PAGE_SIZE))); 216 __attribute__ ((aligned(BASE_PAGE_SIZE))); 219 __attribute__ ((aligned(BASE_PAGE_SIZE))); 596 /* determine page-aligned physica [all...] |
/barrelfish-master/kernel/arch/x86_32/ |
H A D | paging.c | 40 __attribute__((aligned(X86_32_BASE_PAGE_SIZE))); 46 __attribute__((aligned(X86_32_BASE_PAGE_SIZE))); 75 __attribute__((aligned(X86_32_BASE_PAGE_SIZE))); 96 __attribute__((aligned(X86_32_BASE_PAGE_SIZE))); 102 __attribute__((aligned(X86_32_BASE_PAGE_SIZE))); 134 * page-aligned by this function.
|
H A D | init.c | 79 static struct task_state_segment tss __attribute__ ((aligned (4))); 88 static union segment_descriptor gdt[] __attribute__ ((aligned (4))) = { 193 __attribute__ ((aligned(X86_32_BASE_PAGE_SIZE))); 199 __attribute__ ((aligned(X86_32_BASE_PAGE_SIZE))), 200 boot_pdir_hi[X86_32_PTABLE_SIZE] __attribute__ ((aligned(X86_32_BASE_PAGE_SIZE))); 207 __attribute__ ((aligned(X86_32_BASE_PAGE_SIZE))); 213 __attribute__ ((aligned(X86_32_BASE_PAGE_SIZE))); 220 __attribute__ ((aligned(X86_32_BASE_PAGE_SIZE))); 630 /* determine page-aligned physical address past end of multiboot */
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | paging.c | 51 __attribute__((aligned(X86_64_BASE_PAGE_SIZE))); 57 __attribute__((aligned(X86_64_BASE_PAGE_SIZE))); 63 __attribute__((aligned(X86_64_BASE_PAGE_SIZE))); 97 * page-aligned by this function.
|
H A D | init.c | 69 static struct task_state_segment tss __attribute__ ((aligned (4))); 78 union segment_descriptor gdt[] __attribute__ ((aligned (4))) = { 189 __attribute__ ((aligned(BASE_PAGE_SIZE))); 195 __attribute__ ((aligned(BASE_PAGE_SIZE))), 196 boot_pdpt_hi[PTABLE_SIZE] __attribute__ ((aligned(BASE_PAGE_SIZE))); 202 __attribute__ ((aligned(BASE_PAGE_SIZE))), 203 boot_pdir_hi[PTABLE_SIZE] __attribute__ ((aligned(BASE_PAGE_SIZE))), 204 boot_pdir_1GB[PTABLE_SIZE] __attribute__ ((aligned(BASE_PAGE_SIZE))); 614 /* determine page-aligned physical address past end of multiboot */
|
/barrelfish-master/lib/devif/backends/net/mlx4/include/rdma/ |
H A D | ib_user_mad.h | 161 * the same, we need the method_mask[] array to be aligned only to 4 165 typedef unsigned long __attribute__((aligned(4))) packed_ulong;
|
/barrelfish-master/include/mm/ |
H A D | slot_alloc.h | 44 } meta[2] __attribute__ ((aligned(4)));
|
/barrelfish-master/include/target/x86_64/barrelfish_kpi/ |
H A D | registers_target.h | 49 } fxsave_area __attribute__ ((packed, aligned (16)));
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | paging.c | 38 inline static int aligned(uintptr_t address, uintptr_t bytes) function 151 assert(aligned((uintptr_t)table_base, VMSAv8_64_PTABLE_SIZE)); 152 assert(aligned(pa, VMSAv8_64_PTABLE_SIZE)); 166 assert(aligned((uintptr_t)table_base, VMSAv8_64_PTABLE_SIZE)); 167 assert(aligned(pa, VMSAv8_64_PTABLE_SIZE)); 181 assert(aligned((uintptr_t)table_base, VMSAv8_64_PTABLE_SIZE)); 182 assert(aligned(pa, VMSAv8_64_PTABLE_SIZE)); 198 assert(aligned((uintptr_t)table_base, VMSAv8_64_PTABLE_SIZE)); 199 assert(aligned(pa, VMSAv8_64_PTABLE_SIZE)); 216 assert(aligned((uintptr_ [all...] |
/barrelfish-master/lib/compiler-rt/test/ |
H A D | clear_cache_test.c | 54 unsigned char execution_buffer[128] __attribute__((aligned(8)));
|
/barrelfish-master/usr/bench/bomp_benchmark/ |
H A D | lock_scalability.c | 28 typedef volatile uint64_t spinlock_t __attribute__ ((aligned(64)));
|
/barrelfish-master/tools/elver/ |
H A D | elver.c | 120 __attribute__ ((aligned(BASE_PAGE_SIZE))); 123 __attribute__ ((aligned(BASE_PAGE_SIZE))); 126 __attribute__ ((aligned(BASE_PAGE_SIZE)));
|
/barrelfish-master/usr/bench/scheduling/ |
H A D | clockdrift.c | 37 static union padstruct startflag[MAX_CPUS] __attribute__ ((aligned(64)));
|
H A D | phases_scale.c | 24 } __attribute__ ((aligned (64)));
|
/barrelfish-master/lib/barrelfish/include/ |
H A D | threads_priv.h | 50 arch_registers_state_t regs __attribute__ ((aligned (16))); ///< Register state snapshot
|
/barrelfish-master/lib/cxx/cxxabi/ |
H A D | fallback_malloc.cpp | 10 // is only defined when libc aligned allocation is not available. 64 char heap[HEAP_SIZE] __attribute__((aligned)); 210 struct __attribute__((aligned)) __aligned_type {};
|