| /seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/kernel/ |
| H A D | tlb.h | 36 static inline void invalidatePCID(word_t type, void *vaddr, asid_t asid, word_t mask) argument
|
| /seL4-mcs-10.1.1/include/machine/ |
| H A D | debug.h | 60 word_t vaddr, type, size, rw; member in struct:getBreakpointRet
|
| /seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/smp/ |
| H A D | ipi.h | 31 static inline void doRemoteInvalidatePCID(word_t type, void *vaddr, asid_t asid, word_t mask) argument
|
| /seL4-mcs-10.1.1/src/arch/arm/ |
| H A D | c_traps.c | 70 c_handle_vm_fault(vm_fault_type_t type) argument
|
| /seL4-mcs-10.1.1/include/api/ |
| H A D | failures.h | 39 syscall_error_type_t type; member in struct:syscall_error
|
| /seL4-mcs-10.1.1/src/arch/x86/ |
| H A D | c_traps.c | 59 vm_fault_type_t type = (NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[Error] >> 4u) & 1u; local
|
| /seL4-mcs-10.1.1/include/arch/arm/arch/machine/ |
| H A D | debug.h | 144 word_t type; local
193 Arch_decodeSetBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t type, word_t size, word_t rw) argument
265 word_t type; local
[all...] |
| /seL4-mcs-10.1.1/src/arch/x86/32/object/ |
| H A D | objecttype.c | 28 Arch_isFrameType(word_t type) argument
[all...] |
| /seL4-mcs-10.1.1/src/arch/x86/64/object/ |
| H A D | objecttype.c | 30 Arch_isFrameType(word_t type) argument
[all...] |
| /seL4-mcs-10.1.1/include/arch/x86/arch/kernel/ |
| H A D | multiboot2.h | 24 uint32_t type; member in struct:multiboot2_tag
31 uint32_t type; member in struct:multiboot2_memory
47 uint8_t type; member in struct:multiboot2_fb
|
| H A D | multiboot.h | 33 uint32_t type; member in struct:multiboot_mmap
|
| /seL4-mcs-10.1.1/include/plat/imx31/plat/machine/ |
| H A D | devices.h | 34 uint32_t type; /* 004 */ member in struct:imx31_l2cc_id
|
| /seL4-mcs-10.1.1/src/arch/arm/32/object/ |
| H A D | objecttype.c | 25 Arch_isFrameType(word_t type) argument
[all...] |
| /seL4-mcs-10.1.1/src/arch/arm/64/object/ |
| H A D | objecttype.c | 23 Arch_isFrameType(word_t type) argument
[all...] |
| /seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/ |
| H A D | machine.h | 150 static inline void invalidateLocalPCID(word_t type, void *vaddr, asid_t asid) argument
|
| /seL4-mcs-10.1.1/src/arch/x86/kernel/ |
| H A D | boot_sys.c | 287 uint32_t type = mmap->type; local
[all...] |
| /seL4-mcs-10.1.1/src/arch/x86/machine/ |
| H A D | breakpoint.c | 125 convertTypeAndAccessToArch(uint16_t bp_num, word_t type, word_t rw) argument
159 word_t type, rw; member in struct:__anon150
211 convertSizeToArch(uint16_t bp_num, word_t type, word_t size) argument
258 word_t type; local
[all...] |
| /seL4-mcs-10.1.1/src/plat/tk1/machine/ |
| H A D | smmu.c | 283 uint32_t UNUSED type = (err_status & MC_ERR_TYPE_MASK) >> MC_ERR_TYPE_SHIFT; local
|
| /seL4-mcs-10.1.1/include/arch/x86/arch/api/ |
| H A D | bootinfo_types.h | 129 uint32_t type; // memory type of region. Type 1 corresponds to RAM. member in struct:seL4_X86_mb_mmap
|
| /seL4-mcs-10.1.1/libsel4/arch_include/x86/sel4/arch/ |
| H A D | bootinfo_types.h | 129 uint32_t type; // memory type of region. Type 1 corresponds to RAM. member in struct:seL4_X86_mb_mmap
|
| /seL4-mcs-10.1.1/src/object/ |
| H A D | cnode.c | 642 word_t n, type; local
[all...] |
| /seL4-mcs-10.1.1/src/plat/pc99/machine/ |
| H A D | acpi.c | 37 uint16_t type; member in struct:acpi_dmar_header
62 uint8_t type; member in struct:acpi_dmar_devscope
105 uint8_t type; member in struct:acpi_madt_header
|
| /seL4-mcs-10.1.1/include/object/ |
| H A D | structures.h | 99 Zombie_new(word_t number, word_t type, word_t ptr) argument
115 word_t type = cap_zombie_cap_get_capZombieType(cap); local
396 word_t type = cap_zombie_cap_get_capZombieType(cap); local
[all...] |
| /seL4-mcs-10.1.1/src/arch/arm/machine/ |
| H A D | debug.c | 507 getBpNumFromType(uint16_t bp_num, word_t type) argument
553 setBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t type, word_t size, word_t rw) argument
660 word_t type; local
[all...] |
| /seL4-mcs-10.1.1/src/arch/x86/object/ |
| H A D | vcpu.c | 1546 word_t type; local
[all...] |