Searched refs:memzero (Results 1 - 13 of 13) sorted by relevance
| /seL4-refos-master/kernel/include/arch/arm/arch/ |
| H A D | machine.h | 52 memzero(ptr, BIT(bits));
59 memzero(ptr, BIT(bits));
|
| /seL4-refos-master/kernel/src/ |
| H A D | util.c | 12 * memzero needs a custom type that allows us to use a word
22 void memzero(void *s, unsigned long n) function
30 /* We will never memzero an area larger than the largest current
49 * use the optimized 'memzero' function.
52 memzero(s, n);
|
| /seL4-refos-master/kernel/src/arch/x86/machine/ |
| H A D | fpu.c | 43 memzero(&x86KSnullFpuState, sizeof(x86KSnullFpuState));
|
| /seL4-refos-master/kernel/include/ |
| H A D | util.h | 94 void memzero(void *s, unsigned long n);
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/ |
| H A D | machine.h | 115 memzero(ptr, BIT(bits));
|
| /seL4-refos-master/kernel/src/object/ |
| H A D | objecttype.c | 573 memzero(regionBase, BIT(userSize));
577 memzero(regionBase, 1UL << seL4_ReplyBits);
|
| /seL4-refos-master/kernel/include/arch/x86/arch/ |
| H A D | machine.h | 343 memzero(ptr, BIT(bits));
|
| /seL4-refos-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 265 memzero(armKSGlobalLogPT, BIT(seL4_PageTableBits));
280 memzero(armKSGlobalPT, 1 << seL4_PageTableBits);
358 memzero(armHSGlobalPT, 1 << seL4_PageTableBits);
410 memzero(armUSGlobalPT, 1 << seL4_PageTableBits);
2032 memzero(frame, 1 << ARMSmallPageBits);
|
| /seL4-refos-master/kernel/src/arch/x86/kernel/ |
| H A D | boot_sys.c | 137 memzero(
|
| H A D | vspace.c | 59 memzero(frame, BIT(pageBitsForSize(X86_SmallPage)));
|
| /seL4-refos-master/kernel/src/kernel/ |
| H A D | boot.c | 136 memzero((void *) allocated, n * BIT(size_bits));
|
| /seL4-refos-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 458 memzero(frame, BIT(pageBitsForSize(RISCV_4K_Page)));
|
| /seL4-refos-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1675 memzero(frame, BIT(seL4_ASIDPoolBits));
|
Completed in 142 milliseconds