Searched refs:memcpy (Results 1 – 14 of 14) sorted by relevance
| /seL4-master/src/arch/x86/kernel/ |
| A D | boot.c | 188 memcpy((void *)(rootserver.extra_bi + extra_bi_offset), vbe, sizeof(seL4_X86_BootInfo_VBE)); in init_sys_state()
199 memcpy((void *)(rootserver.extra_bi + extra_bi_offset), acpi_rsdp, sizeof(*acpi_rsdp)); in init_sys_state()
210 memcpy((void *)(rootserver.extra_bi + extra_bi_offset), fb_info, sizeof(*fb_info)); in init_sys_state()
217 memcpy((void *)(rootserver.extra_bi + extra_bi_offset), mb_mmap, mb_mmap_size); in init_sys_state()
|
| A D | boot_sys.c | 473 memcpy((void *)ui_p_regs.start, (void *)mods_end_paddr, ui_p_regs.end - ui_p_regs.start); in try_boot_sys()
572 …memcpy(&boot_state.mb_mmap_info.mmap, (void *)(word_t)mbi->part2.mmap_addr, multiboot_mmap_length); in try_boot_sys_mbi1()
634 memcpy(&boot_state.acpi_rsdp, (void *)behind_tag, tag->size - sizeof(*tag)); in try_boot_sys_mbi2()
638 memcpy(&boot_state.acpi_rsdp, (void *)behind_tag, sizeof(boot_state.acpi_rsdp)); in try_boot_sys_mbi2()
|
| A D | smp_sys.c | 93 memcpy((void *)BOOT_NODE_PADDR, boot_cpu_start, boot_size); in copy_boot_code_aps()
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | elf.c | 64 memcpy((void *)dst, (char *)src, len); in elf_load()
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | elf.c | 61 memcpy((void *)dst, (char *)src, len); in elf_load()
|
| /seL4-master/include/ |
| A D | util.h | 133 void *memcpy(void *ptr_dst, const void *ptr_src, unsigned long n) VISIBLE;
|
| /seL4-master/src/ |
| A D | util.c | 63 void *VISIBLE memcpy(void *ptr_dst, const void *ptr_src, unsigned long n) in memcpy() function
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | boot.c | 305 memcpy((void *)(rootserver.extra_bi + extra_bi_offset), in try_init_kernel()
|
| /seL4-master/src/arch/arm/kernel/ |
| A D | boot.c | 443 memcpy((void *)(rootserver.extra_bi + extra_bi_offset), in try_init_kernel()
|
| /seL4-master/src/machine/ |
| A D | io.c | 81 memcpy(&out->buf[out->used], buf, len); in do_output_to_buffer()
|
| /seL4-master/src/arch/x86/object/ |
| A D | vcpu.c | 402 memcpy(vcpu->vmcs, &vmcs_revision, 4); in vcpu_init()
|
| /seL4-master/tools/dts/ |
| A D | am335x-bone.dts | 963 ti,edma-memcpy-channels = < 0x14 0x15 >;
|
| A D | am335x-boneblack.dts | 979 ti,edma-memcpy-channels = < 0x14 0x15 >;
|
| A D | am335x-boneblue.dts | 982 ti,edma-memcpy-channels = < 0x14 0x15 >;
|
Completed in 20 milliseconds