/seL4-mcs-10.1.1/src/arch/x86/32/ |
H A D | c_traps.c | 147 word_t base = getRegister(NODE_STATE(ksCurThread), TLS_BASE); local
|
/seL4-mcs-10.1.1/include/ |
H A D | compound_types.h | 20 pde_t *base; member in struct:pde_range 26 pte_t *base; member in struct:pte_range
|
/seL4-mcs-10.1.1/src/arch/x86/64/ |
H A D | c_traps.c | 183 word_t base = getRegister(cur_thread, TLS_BASE); local
|
/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/fastpath/ |
H A D | fastpath.h | 109 word_t base = getRegister(cur_thread, TLS_BASE); local
|
/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/ |
H A D | machine.h | 123 static inline void FORCE_INLINE x86_write_fs_base_impl(word_t base) argument 130 static inline void FORCE_INLINE x86_write_gs_base_impl(word_t base) argument
|
/seL4-mcs-10.1.1/src/ |
H A D | util.c | 114 unsigned int base; local
|
/seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/fastpath/ |
H A D | fastpath.h | 156 word_t base = getRegister(cur_thread, TLS_BASE); local
|
/seL4-mcs-10.1.1/include/plat/pc99/plat/machine/ |
H A D | acpi.h | 72 uint32_t base; member in struct:acpi_rmrr_entry
|
/seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/ |
H A D | machine.h | 254 static inline void x86_write_fs_base_impl(word_t base) argument 259 static inline void x86_write_gs_base_impl(word_t base) argument 266 word_t base = 0; local 273 word_t base = 0; local [all...] |
/seL4-mcs-10.1.1/src/plat/spike/machine/ |
H A D | fdt.c | 172 uint64_t base, size; local
|
/seL4-mcs-10.1.1/include/arch/x86/arch/object/ |
H A D | structures.h | 147 word_t base; member in struct:gdt_idt_ptr
|
/seL4-mcs-10.1.1/include/arch/x86/arch/ |
H A D | machine.h | 244 static inline void x86_write_fs_base_impl(word_t base) argument 249 static inline void x86_write_gs_base_impl(word_t base) argument 269 static inline void x86_write_fs_base(word_t base, cpu_id_t cpu) argument 277 static inline void x86_write_gs_base(word_t base, cpu_id_t cpu) argument [all...] |
/seL4-mcs-10.1.1/src/arch/riscv/kernel/ |
H A D | vspace.c | 1184 static exception_t updatePTE(pte_t pte, pte_t *base) argument 1199 performPageInvocationRemapPTE(pte_t pte, pte_t *base) argument 1191 performPageInvocationMapPTE(cap_t cap, cte_t *ctSlot, pte_t pte, pte_t *base) argument
|
/seL4-mcs-10.1.1/src/arch/x86/64/kernel/ |
H A D | vspace.c | 317 word_t base = (word_t)&x64KSIRQStack[CURRENT_CPU_INDEX()][IRQ_STACK_SIZE]; local 1544 createSafeMappingEntries_PDPTE(paddr_t base, word_t vaddr, vm_rights_t vmRights, vm_attributes_t attr, vspace_root_t *vspace) argument [all...] |
/seL4-mcs-10.1.1/src/arch/x86/kernel/ |
H A D | vspace.c | 891 createSafeMappingEntries_PTE(paddr_t base, word_t vaddr, vm_rights_t vmRights, vm_attributes_t attr, argument 920 createSafeMappingEntries_PDE(paddr_t base, word_t vaddr, vm_rights_t vmRights, vm_attributes_t attr, argument
|
/seL4-mcs-10.1.1/src/arch/arm/32/kernel/ |
H A D | vspace.c | 1683 createSafeMappingEntries_PTE(paddr_t base, word_t vaddr, vm_page_size_t frameSize, vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) argument 1783 createSafeMappingEntries_PDE(paddr_t base, word_t vaddr, vm_page_size_t frameSize, vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) argument [all...] |
/seL4-mcs-10.1.1/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1687 paddr_t base = pptr_to_paddr((void *)base_ptr); local 1689 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], base); local 2113 paddr_t base; local 2239 paddr_t base; local [all...] |