Searched refs:ALIGN (Results 1 - 25 of 42) sorted by relevance

12

/seL4-l4v-10.1.1/seL4/src/arch/x86/64/model/
H A Dstatedata.c16 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 Dsmp.c18 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 Dstack.c14 VISIBLE ALIGN(KERNEL_STACK_ALIGNMENT)
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/model/
H A Dstatedata.c18 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 Dstatedata.h31 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 Dsmp.h39 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 Dlinker.h30 #define ALIGN_BSS(n) ALIGN(n) SECTION(".bss.aligned")
/seL4-l4v-10.1.1/seL4/src/arch/x86/model/
H A Dstatedata.c27 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 Dlock.c18 clh_lock_t big_kernel_lock ALIGN(L1_CACHE_LINE_SIZE);
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/
H A Draw_api.c46 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 Dprep_cif.c32 #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 Djava_raw_api.c117 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 Darm_parserLib.sig66 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 Dstatedata.h72 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 Dffi.c96 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 Dffi.c137 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 Dffi_darwin.c258 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 Dstatedata.c22 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 Dffi.c291 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 Dffi.c165 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 Dffi.c76 argp = (char *) ALIGN (argp, alignment);
228 argp = (char *) ALIGN (argp, alignment);
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/nios2/
H A Dffi.c104 argp = (char *) ALIGN (argp, alignment);
233 argp = (char *) ALIGN (argp, alignment);
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/vax/
H A Dffi.c111 z = ALIGN(z, sizeof(int));
218 z = ALIGN(z, sizeof (int));
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/
H A Dffi64.c240 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 Dffi_common.h77 #define ALIGN(v, a) (((((size_t) (v))-1) | ((a)-1))+1) macro

Completed in 169 milliseconds

12