| /seL4-master/include/arch/arm/arch/machine/ |
| A D | debug.h | 133 word_t type; in Arch_decodeConfigureSingleStepping() local
182 uint16_t bp_num, word_t vaddr, word_t type, in Arch_decodeSetBreakpoint()
251 word_t type; in Arch_decodeUnsetBreakpoint() local
|
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | multiboot2.h | 19 uint32_t type; member
26 uint32_t type; member
42 uint8_t type; member
|
| A D | multiboot.h | 27 uint32_t type; member
|
| /seL4-master/libsel4/include/sel4/ |
| A D | macros.h | 22 #define SEL4_OFFSETOF(type, member) __builtin_offsetof(type, member) argument
65 #define SEL4_FORCE_LONG_ENUM(type) \ argument
|
| /seL4-master/include/arch/x86/arch/64/mode/kernel/ |
| A D | tlb.h | 29 static inline void invalidatePCID(word_t type, void *vaddr, asid_t asid, word_t mask) in invalidatePCID()
|
| /seL4-master/include/arch/x86/arch/64/mode/smp/ |
| A D | ipi.h | 24 static inline void doRemoteInvalidatePCID(word_t type, void *vaddr, asid_t asid, word_t mask) in doRemoteInvalidatePCID()
|
| /seL4-master/include/machine/ |
| A D | debug.h | 53 word_t vaddr, type, size, rw; member
|
| /seL4-master/src/arch/x86/ |
| A D | c_traps.c | 53 … vm_fault_type_t type = (NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[Error] >> 4u) & 1u; in c_handle_interrupt() local
|
| /seL4-master/src/arch/arm/ |
| A D | c_traps.c | 65 static inline void NORETURN c_handle_vm_fault(vm_fault_type_t type) in c_handle_vm_fault()
|
| /seL4-master/src/arch/x86/machine/ |
| A D | breakpoint.c | 112 PURE static inline word_t convertTypeAndAccessToArch(uint16_t bp_num, word_t type, word_t rw) in convertTypeAndAccessToArch()
146 word_t type, rw; member
196 PURE static inline word_t convertSizeToArch(uint16_t bp_num, word_t type, word_t size) in convertSizeToArch()
242 word_t type; in convertArchToSize() local
|
| /seL4-master/src/arch/x86/64/object/ |
| A D | objecttype.c | 23 bool_t Arch_isFrameType(word_t type) in Arch_isFrameType()
|
| /seL4-master/include/api/ |
| A D | failures.h | 35 syscall_error_type_t type; member
|
| /seL4-master/src/arch/x86/32/object/ |
| A D | objecttype.c | 23 bool_t Arch_isFrameType(word_t type) in Arch_isFrameType()
|
| /seL4-master/src/arch/arm/64/object/ |
| A D | objecttype.c | 16 bool_t Arch_isFrameType(word_t type) in Arch_isFrameType()
|
| /seL4-master/src/arch/arm/32/object/ |
| A D | objecttype.c | 20 bool_t Arch_isFrameType(word_t type) in Arch_isFrameType()
|
| /seL4-master/src/arch/riscv/object/ |
| A D | objecttype.c | 311 bool_t Arch_isFrameType(word_t type) in Arch_isFrameType()
|
| /seL4-master/src/arch/arm/machine/ |
| A D | cache.c | 196 void arch_clean_invalidate_L1_caches(word_t type) in arch_clean_invalidate_L1_caches()
|
| A D | debug.c | 485 static uint16_t getBpNumFromType(uint16_t bp_num, word_t type) in getBpNumFromType()
531 word_t vaddr, word_t type, word_t size, word_t rw) in setBreakpoint()
634 word_t type; in unsetBreakpoint() local
|
| A D | gic_v3.c | 139 uint32_t type; in dist_init() local
|
| /seL4-master/src/plat/pc99/machine/ |
| A D | acpi.c | 33 uint16_t type; member
58 uint8_t type; member
101 uint8_t type; member
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | boot_sys.c | 231 uint32_t type = mmap->type; in parse_mem_map() local
|
| /seL4-master/src/plat/tk1/machine/ |
| A D | smmu.c | 261 uint32_t UNUSED type = (err_status & MC_ERR_TYPE_MASK) >> MC_ERR_TYPE_SHIFT; in plat_smmu_handle_interrupt() local
|
| /seL4-master/include/arch/x86/arch/64/mode/ |
| A D | machine.h | 144 static inline void invalidateLocalPCID(word_t type, void *vaddr, asid_t asid) in invalidateLocalPCID()
|
| /seL4-master/include/object/ |
| A D | structures.h | 112 static inline cap_t CONST Zombie_new(word_t number, word_t type, word_t ptr) in Zombie_new()
127 word_t type = cap_zombie_cap_get_capZombieType(cap); in cap_zombie_cap_get_capZombieBits() local
|
| /seL4-master/src/object/ |
| A D | objecttype.c | 843 word_t type = cap_zombie_cap_get_capZombieType(cap); in cap_get_capSizeBits() local
|