| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/ |
| H A D | guest_image.h | 24 * @param {size_t} alignment Alignment we used when loading the image
29 size_t alignment; member in struct:guest_image
45 * @function vm_load_guest_kernel(vm, kernel_name, load_address, alignment, guest_kernel_image)
50 * @param {size_t} alignment Alignment for loading kernel image
54 int vm_load_guest_kernel(vm_t *vm, const char *kernel_name, uintptr_t load_address, size_t alignment,
58 * @function vm_load_guest_module(vm, module_name, load_address, alignment, guest_image)
63 * @param {size_t} alignment Alignment for loading module image
67 int vm_load_guest_module(vm_t *vm, const char *module_name, uintptr_t load_address, size_t alignment,
|
| /seL4-test-master/projects/util_libs/libethdrivers/src/ |
| H A D | helpers.c | 16 dma_alloc_pin(ps_dma_man_t *dma_man, size_t size, int cached, int alignment) argument
18 void *virt = ps_dma_alloc(dma_man, size, alignment, cached, PS_MEM_NORMAL);
|
| /seL4-test-master/projects/util_libs/libethdrivers/include/ethdrivers/ |
| H A D | helpers.h | 24 dma_addr_t dma_alloc_pin(ps_dma_man_t *dma_man, size_t size, int cached, int alignment);
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
| H A D | guest_image.c | 219 static int load_guest_elf(vm_t *vm, const char *image_name, uintptr_t load_address, size_t alignment, argument
239 /* Round up by the alignment. We just hope its still in the memory region.
241 uintptr_t load_addr = ROUND_UP(load_address, alignment);
310 guest_image->kernel_image.alignment = alignment;
317 int vm_load_guest_kernel(vm_t *vm, const char *kernel_name, uintptr_t load_address, size_t alignment, argument
321 err = load_guest_elf(vm, kernel_name, load_address, alignment, guest_kernel_image);
345 int vm_load_guest_module(vm_t *vm, const char *module_name, uintptr_t load_address, size_t alignment, argument
|
| H A D | guest_boot_init.c | 203 boot_info.hdr.kernel_alignment = guest_kernel_image.kernel_image.alignment;
|
| /seL4-test-master/kernel/src/object/ |
| H A D | untyped.c | 21 static word_t alignUp(word_t baseValue, word_t alignment) argument
23 return (baseValue + (BIT(alignment) - 1)) & ~MASK(alignment);
200 * We don't need to worry about alignment in this case, because if anything
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
| H A D | guest_image.c | 260 int vm_load_guest_kernel(vm_t *vm, const char *kernel_name, uintptr_t load_address, size_t alignment, argument
278 int vm_load_guest_module(vm_t *vm, const char *module_name, uintptr_t load_address, size_t alignment, argument
|
| /seL4-test-master/projects/musllibc/src/thread/powerpc/ |
| H A D | syscall_cp.s | 12 #r1: stack frame: 16 byte alignment.
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/ |
| H A D | lapic.c | 824 unsigned char alignment = offset & 0xf; local
829 if ((alignment + len) > 4) {
830 apic_debug(2, "APIC READ: alignment error %x %d\n",
847 memcpy(data, (char *)&result + alignment, len); local
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4dma/src/ |
| H A D | dma.c | 32 #warning Unknown platform. DMA alignment defaulting to 32 bytes.
231 /* Find the region size and alignment */
|
| /seL4-test-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 960 /* Calculate alignment of our base pointer */
961 uintptr_t alignment = (base == 0) ? max_alignment : MIN(CTZL((long)base), max_alignment); local
964 * based on our current alignment. */
965 uintptr_t next_size = MIN(goal - base, BIT(alignment));
971 ZF_LOGD("goal 0x%zx, base: 0x%zx, next_size: 0x%zx, 0x%zx, 0x%zx, 0x%zx", goal, base, (uintptr_t) BIT(next_size_bits), next_size, CLZL((long)next_size),alignment);
|
| /seL4-test-master/kernel/manual/parts/ |
| H A D | api.tex | 171 A supplied argument does not meet the alignment requirements.
|
| /seL4-test-master/projects/musllibc/ |
| H A D | configure | 561 # Reduce space lost to padding for alignment purposes by sorting data
562 # objects according to their alignment reqirements. This approximates
564 tryldflag LDFLAGS_AUTO -Wl,--sort-section,alignment
|