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

123

/seL4-refos-master/kernel/src/arch/x86/64/model/
H A Dstatedata.c10 pml4e_t x64KSKernelPML4[BIT(PML4_INDEX_BITS)] ALIGN(BIT(seL4_PML4Bits)) VISIBLE;
11 pdpte_t x64KSKernelPDPT[BIT(PDPT_INDEX_BITS)] ALIGN(BIT(seL4_PDPTBits));
13 pde_t x64KSKernelPD[BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits));
15 pde_t x64KSKernelPDs[BIT(PDPT_INDEX_BITS)][BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits));
17 pte_t x64KSKernelPT[BIT(PT_INDEX_BITS)] ALIGN(BIT(seL4_PageTableBits));
20 pml4e_t x64KSSKIMPML4[BIT(PML4_INDEX_BITS)] ALIGN(BIT(seL4_PML4Bits));
21 pdpte_t x64KSSKIMPDPT[BIT(PDPT_INDEX_BITS)] ALIGN(BIT(seL4_PDPTBits));
22 pde_t x64KSSKIMPD[BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits));
31 word_t x64KSIRQStack[CONFIG_MAX_NUM_NODES][IRQ_STACK_SIZE + 2] ALIGN(64) VISIBLE SKIM_BSS;
H A Dsmp.c12 nodeInfo_t node_info[CONFIG_MAX_NUM_NODES] ALIGN(L1_CACHE_LINE_SIZE) VISIBLE;
13 char nodeSkimScratch[CONFIG_MAX_NUM_NODES][sizeof(nodeInfo_t)] ALIGN(L1_CACHE_LINE_SIZE);
/seL4-refos-master/kernel/src/kernel/
H A Dstack.c9 VISIBLE ALIGN(KERNEL_STACK_ALIGNMENT)
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/32/
H A Dstructures.c12 uint32_t _boot_pd[BIT(PD_BITS)] ALIGN(BIT(PD_SIZE_BITS));
13 uint32_t _boot_pt[BIT(PT_BITS)] ALIGN(BIT(PT_SIZE_BITS));
16 uint64_t _lpae_boot_pgd[BIT(HYP_PGD_BITS)] ALIGN(BIT(HYP_PGD_SIZE_BITS));
17 uint64_t _lpae_boot_pmd[BIT(HYP_PGD_BITS + HYP_PMD_BITS)] ALIGN(BIT(HYP_PMD_SIZE_BITS));
/seL4-refos-master/tools/elfloader/src/arch-arm/32/
H A Dstructures.c12 uint32_t _boot_pd[BIT(PD_BITS)] ALIGN(BIT(PD_SIZE_BITS));
13 uint32_t _boot_pt[BIT(PT_BITS)] ALIGN(BIT(PT_SIZE_BITS));
16 uint64_t _lpae_boot_pgd[BIT(HYP_PGD_BITS)] ALIGN(BIT(HYP_PGD_SIZE_BITS));
17 uint64_t _lpae_boot_pmd[BIT(HYP_PGD_BITS + HYP_PMD_BITS)] ALIGN(BIT(HYP_PMD_SIZE_BITS));
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/64/
H A Dstructures.c12 uint64_t _boot_pgd_up[BIT(PGD_BITS)] ALIGN(BIT(PGD_SIZE_BITS));
13 uint64_t _boot_pud_up[BIT(PUD_BITS)] ALIGN(BIT(PUD_SIZE_BITS));
14 uint64_t _boot_pmd_up[BIT(PMD_BITS)] ALIGN(BIT(PMD_SIZE_BITS));
17 uint64_t _boot_pgd_down[BIT(PGD_BITS)] ALIGN(BIT(PGD_SIZE_BITS));
18 uint64_t _boot_pud_down[BIT(PUD_BITS)] ALIGN(BIT(PUD_SIZE_BITS));
/seL4-refos-master/tools/elfloader/src/arch-arm/64/
H A Dstructures.c12 uint64_t _boot_pgd_up[BIT(PGD_BITS)] ALIGN(BIT(PGD_SIZE_BITS));
13 uint64_t _boot_pud_up[BIT(PUD_BITS)] ALIGN(BIT(PUD_SIZE_BITS));
14 uint64_t _boot_pmd_up[BIT(PMD_BITS)] ALIGN(BIT(PMD_SIZE_BITS));
17 uint64_t _boot_pgd_down[BIT(PGD_BITS)] ALIGN(BIT(PGD_SIZE_BITS));
18 uint64_t _boot_pud_down[BIT(PUD_BITS)] ALIGN(BIT(PUD_SIZE_BITS));
/seL4-refos-master/kernel/src/arch/x86/32/model/
H A Dstatedata.c14 pde_t ia32KSGlobalPD[BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits));
15 pte_t ia32KSGlobalPT[BIT(PT_INDEX_BITS)] ALIGN(BIT(seL4_PageTableBits));
18 pte_t ia32KSGlobalLogPT[BIT(PT_INDEX_BITS)] ALIGN(BIT(seL4_PageTableBits));
/seL4-refos-master/libs/libmuslc/src/string/
H A Dstpcpy.c6 #define ALIGN (sizeof(size_t)) macro
16 if ((uintptr_t)s % ALIGN == (uintptr_t)d % ALIGN) {
17 for (; (uintptr_t)s % ALIGN; s++, d++)
H A Dstpncpy.c6 #define ALIGN (sizeof(size_t)-1) macro
16 if (((uintptr_t)s & ALIGN) == ((uintptr_t)d & ALIGN)) {
17 for (; ((uintptr_t)s & ALIGN) && n && (*d=*s); n--, s++, d++);
H A Dmemccpy.c5 #define ALIGN (sizeof(size_t)-1) macro
18 if (((uintptr_t)s & ALIGN) == ((uintptr_t)d & ALIGN)) {
19 for (; ((uintptr_t)s & ALIGN) && n && (*d=*s)!=c; n--, s++, d++);
20 if ((uintptr_t)s & ALIGN) goto tail;
H A Dstrlen.c5 #define ALIGN (sizeof(size_t)) macro
14 for (; (uintptr_t)s % ALIGN; s++) if (!*s) return s-a;
H A Dstrlcpy.c7 #define ALIGN (sizeof(size_t)-1) macro
19 if (((uintptr_t)s & ALIGN) == ((uintptr_t)d & ALIGN)) {
20 for (; ((uintptr_t)s & ALIGN) && n && (*d=*s); n--, s++, d++);
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/armv/armv7-a/armv/
H A Dsmp.h16 extern unsigned long core_stacks[CONFIG_MAX_NUM_NODES][STACK_SIZE / sizeof(unsigned long)] ALIGN(BIT(12));
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/armv/armv8-a/32/armv/
H A Dsmp.h16 extern unsigned long core_stacks[CONFIG_MAX_NUM_NODES][STACK_SIZE / sizeof(unsigned long)] ALIGN(BIT(12));
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/armv/armv7ve/armv/
H A Dsmp.h16 extern unsigned long core_stacks[CONFIG_MAX_NUM_NODES][STACK_SIZE / sizeof(unsigned long)] ALIGN(BIT(12));
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/armv/armv8-a/64/armv/
H A Dsmp.h16 extern unsigned long core_stacks[CONFIG_MAX_NUM_NODES][STACK_SIZE / sizeof(unsigned long)] ALIGN(BIT(12));
/seL4-refos-master/tools/elfloader/include/arch-arm/armv/armv7ve/armv/
H A Dsmp.h16 extern unsigned long core_stacks[CONFIG_MAX_NUM_NODES][STACK_SIZE / sizeof(unsigned long)] ALIGN(BIT(12));
/seL4-refos-master/tools/elfloader/include/arch-arm/armv/armv7-a/armv/
H A Dsmp.h16 extern unsigned long core_stacks[CONFIG_MAX_NUM_NODES][STACK_SIZE / sizeof(unsigned long)] ALIGN(BIT(12));
/seL4-refos-master/tools/elfloader/include/arch-arm/armv/armv8-a/32/armv/
H A Dsmp.h16 extern unsigned long core_stacks[CONFIG_MAX_NUM_NODES][STACK_SIZE / sizeof(unsigned long)] ALIGN(BIT(12));
/seL4-refos-master/tools/elfloader/include/arch-arm/armv/armv8-a/64/armv/
H A Dsmp.h16 extern unsigned long core_stacks[CONFIG_MAX_NUM_NODES][STACK_SIZE / sizeof(unsigned long)] ALIGN(BIT(12));
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/model/
H A Dstatedata.h24 extern pml4e_t x64KSSKIMPML4[BIT(PML4_INDEX_BITS)] ALIGN(BIT(seL4_PML4Bits));
25 extern pdpte_t x64KSSKIMPDPT[BIT(PDPT_INDEX_BITS)] ALIGN(BIT(seL4_PDPTBits));
28 extern pde_t x64KSSKIMPD[BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits));
50 extern word_t x64KSIRQStack[CONFIG_MAX_NUM_NODES][IRQ_STACK_SIZE + 2] ALIGN(64) VISIBLE SKIM_BSS;
H A Dsmp.h32 extern nodeInfo_t node_info[CONFIG_MAX_NUM_NODES] ALIGN(L1_CACHE_LINE_SIZE);
39 extern char nodeSkimScratch[CONFIG_MAX_NUM_NODES][sizeof(nodeInfo_t)] ALIGN(L1_CACHE_LINE_SIZE) VISIBLE SKIM_BSS;
/seL4-refos-master/libs/libmuslc/src/malloc/
H A Dlite_malloc.c7 #define ALIGN 16 macro
19 while (align<n && align<ALIGN)
26 if (n <= SIZE_MAX/2 + ALIGN) n += pad;
/seL4-refos-master/kernel/include/
H A Dlinker.h25 #define ALIGN_BSS(n) ALIGN(n) SECTION(".bss.aligned")

Completed in 74 milliseconds

123