| /seL4-master/src/ |
| A D | string.c | 18 word_t strlcpy(char *dest, const char *src, word_t size) in strlcpy()
28 word_t strlcat(char *dest, const char *src, word_t size) in strlcat()
|
| /seL4-master/include/machine/ |
| A D | debug.h | 53 word_t vaddr, type, size, rw; member
|
| A D | io.h | 97 word_t size, in snprintf()
|
| /seL4-master/include/arch/riscv/arch/ |
| A D | sbi.h | 116 unsigned long size) in sbi_remote_sfence_vma()
123 unsigned long size, in sbi_remote_sfence_vma_asid()
|
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | multiboot2.h | 20 uint32_t size; member
25 uint64_t size; member
|
| A D | multiboot.h | 24 uint32_t size; member
|
| /seL4-master/include/arch/arm/arch/32/mode/kernel/ |
| A D | vspace.h | 28 word_t size; member
|
| /seL4-master/libsel4/include/sel4/ |
| A D | macros.h | 56 #define SEL4_SIZE_SANITY(index, entry, size) \ argument
|
| A D | constants.h | 91 static inline seL4_Word seL4_MaxExtraRefills(seL4_Word size) in seL4_MaxExtraRefills()
|
| /seL4-master/include/arch/x86/arch/machine/ |
| A D | debug.h | 132 word_t size, word_t rw) in Arch_decodeSetBreakpoint()
|
| /seL4-master/include/arch/arm/arch/machine/ |
| A D | debug.h | 183 word_t size, word_t rw) in Arch_decodeSetBreakpoint()
|
| /seL4-master/src/kernel/ |
| A D | boot.c | 157 word_t size = BIT(CONFIG_ROOT_CNODE_SIZE_BITS + seL4_SlotBits); in calculate_rootserver_size() local
188 word_t size = calculate_rootserver_size(it_v_reg, extra_bi_size_bits); in create_rootserver_objects() local
881 word_t size = calculate_rootserver_size(it_v_reg, extra_bi_size_bits); in init_freemem() local
|
| /seL4-master/src/arch/arm/armv/armv8-a/64/ |
| A D | cache.c | 39 word_t size, csselr_old; in readCacheSize() local
|
| /seL4-master/src/arch/x86/machine/ |
| A D | breakpoint.c | 196 PURE static inline word_t convertSizeToArch(uint16_t bp_num, word_t type, word_t size) in convertSizeToArch()
403 uint16_t bp_num, word_t vaddr, word_t types, word_t size, word_t rw) in setBreakpoint()
|
| /seL4-master/src/drivers/smmu/ |
| A D | smmuv2.c | 90 static inline uint32_t smmu_obs_size_to_bits(uint32_t size) in smmu_obs_size_to_bits()
109 static inline uint32_t smmu_ubs_size_to_bits(uint32_t size) in smmu_ubs_size_to_bits()
|
| /seL4-master/src/arch/x86/object/ |
| A D | ioport.c | 33 static exception_t ensurePortOperationAllowed(cap_t cap, uint32_t start_port, uint32_t size) in ensurePortOperationAllowed()
|
| /seL4-master/src/arch/arm/object/ |
| A D | iospace.c | 445 word_t size = BIT((SMMU_PD_INDEX_BITS)); in clearIOPageDirectory() local
|
| /seL4-master/src/arch/arm/machine/ |
| A D | debug.c | 420 static word_t convertSizeToArch(word_t size) in convertSizeToArch()
531 word_t vaddr, word_t type, word_t size, word_t rw) in setBreakpoint()
|
| /seL4-master/src/machine/ |
| A D | io.c | 609 int impl_ksnvprintf(char *str, word_t size, const char *format, va_list ap) in impl_ksnvprintf()
|
| /seL4-master/src/plat/pc99/machine/ |
| A D | intel-vtd.c | 275 word_t size = 1; /* one for the root table */ in vtd_get_n_paging() local
|
| /seL4-master/libsel4/arch_include/x86/sel4/arch/ |
| A D | bootinfo_types.h | 119 uint32_t size; // size of this struct in bytes member
|
| /seL4-master/src/object/ |
| A D | tcb.c | 561 word_t vaddr, word_t type, word_t size, word_t rw) in invokeSetBreakpoint()
572 word_t vaddr, type, size, rw; in decodeSetBreakpoint() local
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 1479 word_t size = end - start; in performVSpaceFlush() local
1642 word_t size = end - start; in performPageFlush() local
|
| /seL4-master/libsel4/tools/ |
| A D | bitfield_gen.py | 1234 def field_mask_proof(base, base_bits, sign_extend, high, size): argument
|
| /seL4-master/tools/ |
| A D | bitfield_gen.py | 1234 def field_mask_proof(base, base_bits, sign_extend, high, size): argument
|