Searched refs:memset (Results 1 – 14 of 14) sorted by relevance
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | elf.c | 66 memset((void *)dst, 0, phdr[i].p_memsz - len); in elf_load()
|
| A D | vspace.c | 58 memset(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KStss.io_map[0], 0xff, in init_tss()
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | elf.c | 63 memset((void *)dst, 0, phdr[i].p_memsz - len); in elf_load()
|
| A D | vspace.c | 326 memset(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KStss.io_map[0], 0xff, in init_tss()
|
| /seL4-master/src/arch/x86/machine/ |
| A D | cpu_identification.c | 123 memset(ci, 0, sizeof(*ci)); in x86_cpuid_initialize()
|
| A D | breakpoint.c | 664 memset(uds, 0, sizeof(*uds)); in Arch_initBreakpointContext()
|
| /seL4-master/include/ |
| A D | util.h | 132 void *memset(void *s, unsigned long c, unsigned long n) VISIBLE;
|
| /seL4-master/src/ |
| A D | util.c | 43 void *VISIBLE memset(void *s, unsigned long c, unsigned long n) in memset() function
|
| /seL4-master/src/plat/tk1/machine/ |
| A D | smmu.c | 158 memset(pd, 0, BIT(SMMU_PD_INDEX_BITS)); in plat_smmu_init()
|
| /seL4-master/src/arch/arm/object/ |
| A D | iospace.c | 449 memset((void *)pd, 0, size); in clearIOPageDirectory()
|
| /seL4-master/src/machine/ |
| A D | capdl.c | 40 memset(seen_list, 0, SEEN_SZ * sizeof(seen_list[0])); in reset_seen_list()
|
| A D | io.c | 240 memset(pad, c, l > sizeof(pad) ? sizeof(pad) : l); in pad()
|
| /seL4-master/src/arch/x86/object/ |
| A D | vcpu.c | 466 memset(vcpu->io, ~(word_t)0, VCPU_IOBITMAP_SIZE); in vcpu_init()
1030 memset(&msr_bitmap_region, ~0, sizeof(msr_bitmap_region)); in vtx_init()
1425 memset(vcpu->io, ~0, sizeof(vcpu->io)); in invalidateVPID()
|
| /seL4-master/src/arch/arm/machine/ |
| A D | debug.c | 824 memset(&dbg, 0, sizeof(dbg)); in Arch_initHardwareBreakpoints()
|
Completed in 35 milliseconds