Searched refs:memset (Results 1 - 12 of 12) sorted by relevance
| /seL4-mcs-10.1.1/src/arch/x86/32/kernel/ |
| H A D | elf.c | 75 memset((void*)dst, 0, phdr[i].p_memsz - len);
|
| H A D | vspace.c | 62 memset(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KStss.io_map[0], 0xff, sizeof(x86KSGlobalState[CURRENT_CPU_INDEX()].x86KStss.io_map));
|
| /seL4-mcs-10.1.1/src/arch/x86/64/kernel/ |
| H A D | elf.c | 72 memset((void *)dst, 0, phdr[i].p_memsz - len);
|
| H A D | vspace.c | 333 memset(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KStss.io_map[0], 0xff, sizeof(x86KSGlobalState[CURRENT_CPU_INDEX()].x86KStss.io_map));
|
| /seL4-mcs-10.1.1/src/arch/x86/machine/ |
| H A D | cpu_identification.c | 130 memset(ci, 0, sizeof(*ci));
|
| H A D | breakpoint.c | 694 memset(uds, 0, sizeof(*uds));
|
| /seL4-mcs-10.1.1/src/ |
| H A D | util.c | 49 memset(void *s, unsigned long c, unsigned long n) function
60 /* Otherwise, we use a slower, simple memset. */
|
| /seL4-mcs-10.1.1/include/ |
| H A D | util.h | 96 void *memset(void *s, unsigned long c, unsigned long n) VISIBLE;
|
| /seL4-mcs-10.1.1/src/plat/tk1/machine/ |
| H A D | smmu.c | 178 memset(pd, 0, BIT(SMMU_PD_INDEX_BITS));
|
| /seL4-mcs-10.1.1/src/arch/x86/object/ |
| H A D | vcpu.c | 482 memset(vcpu->io, ~(word_t)0, VCPU_IOBITMAP_SIZE);
1067 memset(&msr_bitmap_region, ~0, sizeof(msr_bitmap_region));
1472 memset(vcpu->io, ~0, sizeof(vcpu->io));
|
| /seL4-mcs-10.1.1/src/arch/arm/object/ |
| H A D | iospace.c | 465 memset((void *)pd, 0, size);
|
| /seL4-mcs-10.1.1/src/arch/arm/machine/ |
| H A D | debug.c | 861 memset(&dbg, 0, sizeof(dbg));
|
Completed in 113 milliseconds