/seL4-l4v-10.1.1/seL4/src/arch/x86/64/model/ |
H A D | statedata.c | 16 pml4e_t x64KSKernelPML4[BIT(PML4_INDEX_BITS)] ALIGN(BIT(seL4_PML4Bits)) VISIBLE; 17 pdpte_t x64KSKernelPDPT[BIT(PDPT_INDEX_BITS)] ALIGN(BIT(seL4_PDPTBits)); 19 pde_t x64KSKernelPD[BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits)); 21 pde_t x64KSKernelPDs[BIT(PDPT_INDEX_BITS)][BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits)); 23 pte_t x64KSKernelPT[BIT(PT_INDEX_BITS)] ALIGN(BIT(seL4_PageTableBits)); 26 pml4e_t x64KSSKIMPML4[BIT(PML4_INDEX_BITS)] ALIGN(BIT(seL4_PML4Bits)); 27 pdpte_t x64KSSKIMPDPT[BIT(PDPT_INDEX_BITS)] ALIGN(BIT(seL4_PDPTBits)); 28 pde_t x64KSSKIMPD[BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits)); 37 word_t x64KSIRQStack[CONFIG_MAX_NUM_NODES][IRQ_STACK_SIZE + 2] ALIGN(64) VISIBLE SKIM_BSS;
|
H A D | smp.c | 18 nodeInfo_t node_info[CONFIG_MAX_NUM_NODES] ALIGN(L1_CACHE_LINE_SIZE) VISIBLE; 19 char nodeSkimScratch[CONFIG_MAX_NUM_NODES][sizeof(nodeInfo_t)] ALIGN(L1_CACHE_LINE_SIZE);
|
/seL4-l4v-10.1.1/seL4/src/kernel/ |
H A D | stack.c | 14 VISIBLE ALIGN(KERNEL_STACK_ALIGNMENT)
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/model/ |
H A D | statedata.c | 18 pde_t ia32KSGlobalPD[BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits)); 19 pte_t ia32KSGlobalPT[BIT(PT_INDEX_BITS)] ALIGN(BIT(seL4_PageTableBits)); 22 pte_t ia32KSGlobalLogPT[BIT(PT_INDEX_BITS)] ALIGN(BIT(seL4_PageTableBits));
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/model/ |
H A D | statedata.h | 31 extern pml4e_t x64KSSKIMPML4[BIT(PML4_INDEX_BITS)] ALIGN(BIT(seL4_PML4Bits)); 32 extern pdpte_t x64KSSKIMPDPT[BIT(PDPT_INDEX_BITS)] ALIGN(BIT(seL4_PDPTBits)); 35 extern pde_t x64KSSKIMPD[BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits)); 57 extern word_t x64KSIRQStack[CONFIG_MAX_NUM_NODES][IRQ_STACK_SIZE + 2] ALIGN(64) VISIBLE SKIM_BSS;
|
H A D | smp.h | 39 extern nodeInfo_t node_info[CONFIG_MAX_NUM_NODES] ALIGN(L1_CACHE_LINE_SIZE); 46 extern char nodeSkimScratch[CONFIG_MAX_NUM_NODES][sizeof(nodeInfo_t)] ALIGN(L1_CACHE_LINE_SIZE) VISIBLE SKIM_BSS;
|
/seL4-l4v-10.1.1/seL4/include/ |
H A D | linker.h | 30 #define ALIGN_BSS(n) ALIGN(n) SECTION(".bss.aligned")
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/model/ |
H A D | statedata.c | 27 x86_arch_global_state_t x86KSGlobalState[CONFIG_MAX_NUM_NODES] ALIGN(L1_CACHE_LINE_SIZE) SKIM_BSS; 47 user_fpu_state_t x86KSnullFpuState ALIGN(MIN_FPU_ALIGNMENT);
|
/seL4-l4v-10.1.1/seL4/src/smp/ |
H A D | lock.c | 18 clh_lock_t big_kernel_lock ALIGN(L1_CACHE_LINE_SIZE);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
H A D | raw_api.c | 46 result += ALIGN (sizeof (void*), FFI_SIZEOF_ARG); 49 result += ALIGN ((*at)->size, FFI_SIZEOF_ARG); 101 raw += ALIGN ((*tp)->size, FFI_SIZEOF_ARG) / FFI_SIZEOF_ARG; 126 raw += ALIGN ((*tp)->size, sizeof (void*)) / sizeof (void*); 189 raw += ALIGN ((*tp)->size, FFI_SIZEOF_ARG) / FFI_SIZEOF_ARG;
|
H A D | prep_cif.c | 32 #define STACK_ARG_SIZE(x) ALIGN(x, FFI_SIZEOF_ARG) 61 arg->size = ALIGN(arg->size, (*ptr)->alignment); 77 arg->size = ALIGN (arg->size, arg->alignment); 193 bytes = (unsigned)ALIGN(bytes, (*ptr)->alignment);
|
H A D | java_raw_api.c | 117 ALIGN ((*tp)->size, sizeof(ffi_java_raw)) / sizeof(ffi_java_raw); 145 ALIGN ((*tp)->size, sizeof(ffi_java_raw)) / sizeof(ffi_java_raw); 237 ALIGN ((*tp)->size, sizeof(ffi_java_raw)) / sizeof(ffi_java_raw);
|
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
H A D | arm_parserLib.sig | 66 ALIGN (2 | 4 | 8) 79 THUMB @ enter thumb code (does an ALIGN 2 too) 87 ARM @ enter ARM code (does an ALIGN 4 too) 91 ALIGN 4 ; ensures next short is in the following word 92 SHORT 0xABCD (* no need for another ALIGN because
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/model/ |
H A D | statedata.h | 72 extern x86_arch_global_state_t x86KSGlobalState[CONFIG_MAX_NUM_NODES] ALIGN(L1_CACHE_LINE_SIZE) SKIM_BSS; 76 extern user_fpu_state_t x86KSnullFpuState ALIGN(MIN_FPU_ALIGNMENT);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/metag/ |
H A D | ffi.c | 96 return ALIGN(MIN(stack - argp, 6*4), 8); 115 bytes = ALIGN(bytes, (*ptr)->alignment); 117 bytes += ALIGN((*ptr)->size, 4); 121 bytes = ALIGN(bytes, 8); 128 bytes = ALIGN(bytes, 8); 322 argp = (char *) ALIGN(argp, alignment);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/m88k/ |
H A D | ffi.c | 137 stackp = (char *) ALIGN(stackp, a); 180 z = ALIGN(z, sizeof (int)); 323 stackp = (char *) ALIGN(stackp, a); 334 z = ALIGN(z, sizeof (int));
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ |
H A D | ffi_darwin.c | 258 next_arg = (unsigned long *)ALIGN((char *)next_arg, (*ptr)->alignment); 269 size_al = ALIGN((*ptr)->size, 8); 355 struct_offset = ALIGN(struct_offset, p->alignment); 439 struct_offset = ALIGN(struct_offset, p->alignment); 530 struct_offset = ALIGN(struct_offset, p->alignment); 607 s->size = ALIGN(s->size, align) + p->size; 610 s->size = ALIGN(s->size, s->alignment); 643 s->size = ALIGN(s->size, align) + p->size; 646 s->size = ALIGN(s->size, s->alignment); 812 intarg_count = ALIGN(intarg_coun [all...] |
/seL4-l4v-10.1.1/seL4/src/model/ |
H A D | statedata.c | 22 SMP_STATE_DEFINE(smpStatedata_t, ksSMP[CONFIG_MAX_NUM_NODES] ALIGN(L1_CACHE_LINE_SIZE));
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sparc/ |
H A D | ffi.c | 291 cif->bytes = ALIGN(cif->bytes, 2 * wordsize); 344 off = ALIGN(off, (*ptr)->alignment); 350 off = ALIGN(off, FFI_SIZEOF_ARG); 592 argn += ALIGN(arg_types[i]->size, FFI_SIZEOF_ARG) / FFI_SIZEOF_ARG; 650 argn += ALIGN(arg_types[i]->size, FFI_SIZEOF_ARG) / FFI_SIZEOF_ARG; 656 argn += ALIGN(arg_types[i]->size, FFI_SIZEOF_ARG) / FFI_SIZEOF_ARG;
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/alpha/ |
H A D | ffi.c | 165 argp += ALIGN(size, FFI_SIZEOF_ARG) / FFI_SIZEOF_ARG; 279 argn += ALIGN(size, FFI_SIZEOF_ARG) / FFI_SIZEOF_ARG;
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/arc/ |
H A D | ffi.c | 76 argp = (char *) ALIGN (argp, alignment); 228 argp = (char *) ALIGN (argp, alignment);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/nios2/ |
H A D | ffi.c | 104 argp = (char *) ALIGN (argp, alignment); 233 argp = (char *) ALIGN (argp, alignment);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/vax/ |
H A D | ffi.c | 111 z = ALIGN(z, sizeof(int)); 218 z = ALIGN(z, sizeof (int));
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
H A D | ffi64.c | 240 byte_offset = ALIGN (byte_offset, (*ptr)->alignment); 405 bytes = ALIGN (bytes, align); 417 cif->bytes = (unsigned)ALIGN (bytes, 8); 474 argp = (void *) ALIGN (argp, align); 630 argp = (void *) ALIGN (argp, align);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/ |
H A D | ffi_common.h | 77 #define ALIGN(v, a) (((((size_t) (v))-1) | ((a)-1))+1) macro
|