/seL4-refos-master/kernel/include/smp/ |
H A D | lock.h | 37 word_t ipi; 41 sizeof(word_t)); 55 static inline bool_t FORCE_INLINE clh_is_ipi_pending(word_t cpu) 61 irqPath, word_t cpu, int memorder) 93 static inline void FORCE_INLINE clh_lock_acquire(word_t cpu, bool_t irqPath) 123 static inline void FORCE_INLINE clh_lock_release(word_t cpu)
|
/seL4-refos-master/kernel/src/arch/x86/object/ |
H A D | vcpu.c | 35 word_t bitmap[0x2000 / sizeof(word_t) / 8]; 153 vmwrite(VMX_HOST_TR_BASE, (word_t)&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KStss); 154 vmwrite(VMX_HOST_GDTR_BASE, (word_t)x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt); 155 vmwrite(VMX_HOST_IDTR_BASE, (word_t)x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSidt); 156 vmwrite(VMX_HOST_SYSENTER_ESP, (uint64_t)(word_t)((char *)&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KStss.tss.words[0] + 164 static void print_bits(word_t bits) 179 static bool_t check_fixed_value(word_t val, word_t low, word_t hig [all...] |
/seL4-refos-master/kernel/src/arch/riscv/object/ |
H A D | objecttype.c | 53 cap_t CONST Arch_updateCapData(bool_t preserve, word_t data, cap_t cap) 125 word_t botA, botB, topA, topB; 172 word_t Arch_getObjectSize(word_t t) 194 cap_t Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t 214 (word_t) regionBase, /* capFBasePtr */ 237 (word_t) regionBase, /* capFBasePtr */ 262 (word_t) regionBase, /* capFBasePtr */ 276 (word_t)regionBase, /* capPTBasePtr */ 292 word_t labe [all...] |
/seL4-refos-master/kernel/include/arch/x86/arch/ |
H A D | machine.h | 97 word_t PURE getRestartPC(tcb_t *thread); 98 void setNextPC(tcb_t *thread, word_t v); 242 static inline void x86_write_fs_base_impl(word_t base); 243 static inline word_t x86_read_fs_base_impl(void); 244 static inline void x86_write_gs_base_impl(word_t base); 245 static inline word_t x86_read_gs_base_impl(void); 249 static inline void x86_write_fs_base_impl(word_t base) 254 static inline word_t x86_read_fs_base_impl(void) 272 static inline void x86_write_fs_base(word_t base, cpu_id_t cpu) 277 static inline void x86_write_gs_base(word_t bas [all...] |
/seL4-refos-master/kernel/src/arch/arm/64/machine/ |
H A D | capdl.c | 18 static void cap_frame_print_attrs_impl(word_t SH, word_t AP, word_t NXN); 19 static void cap_frame_print_attrs_vptr(word_t vptr, cap_t vspace); 21 static void _cap_frame_print_attrs_vptr(word_t vptr, vspace_root_t *vspaceRoot); 31 word_t get_tcb_sp(tcb_t *tcb) 76 static void cap_frame_print_attrs_impl(word_t SH, word_t AP, word_t NXN) 121 static void _cap_frame_print_attrs_vptr(word_t vpt [all...] |
H A D | fpu.c | 29 word_t id_aa64pfr0;
|
/seL4-refos-master/kernel/src/arch/arm/machine/ |
H A D | hardware.c | 12 word_t PURE getRestartPC(tcb_t *thread) 17 void setNextPC(tcb_t *thread, word_t v)
|
/seL4-refos-master/kernel/src/arch/x86/64/model/ |
H A D | statedata.c | 26 UP_STATE_DEFINE(word_t, x64KSCurrentUserCR3); 31 word_t x64KSIRQStack[CONFIG_MAX_NUM_NODES][IRQ_STACK_SIZE + 2] ALIGN(64) VISIBLE SKIM_BSS;
|
/seL4-refos-master/kernel/src/arch/x86/machine/ |
H A D | registerset.c | 28 word_t sanitiseRegister(register_t reg, word_t v, bool_t archInfo)
|
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/model/ |
H A D | statedata.h | 33 /* we declare this as a word_t and not a cr3_t as we cache both state and potentially 36 NODE_STATE_DECLARE(word_t, x64KSCurrentUserCR3); 50 extern word_t x64KSIRQStack[CONFIG_MAX_NUM_NODES][IRQ_STACK_SIZE + 2] ALIGN(64) VISIBLE SKIM_BSS;
|
/seL4-refos-master/kernel/src/arch/arm/object/ |
H A D | iospace.c | 49 static lookupIOPDSlot_ret_t lookupIOPDSlot(iopde_t *iopd, word_t io_address) 58 static lookupIOPTSlot_ret_t lookupIOPTSlot(iopde_t *iopd, word_t io_address) 128 cleanCacheRange_RAM((word_t)iopdSlot, 129 ((word_t)iopdSlot) + sizeof(iopde_t), 142 word_t invLabel, 147 word_t *buffer 151 word_t io_address; 152 word_t paddr; 230 cleanCacheRange_RAM((word_t)ioptSlot, 231 ((word_t)ioptSlo [all...] |
/seL4-refos-master/kernel/src/kernel/ |
H A D | boot.c | 29 for (word_t i = 1; i < ndks_boot.resv_count;) { 34 for (word_t j = i + 1; j < ndks_boot.resv_count; j++) { 48 word_t i; 75 for (word_t j = ndks_boot.resv_count; j > i; j--) { 99 word_t i; 128 BOOT_CODE static pptr_t alloc_rootserver_obj(word_t size_bits, word_t n) 140 BOOT_CODE static word_t rootserver_max_size_bits(word_t extra_bi_size_bits) 142 word_t cnode_size_bit [all...] |
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/kernel/ |
H A D | vspace.h | 21 typedef word_t pde_pte_tag_t; 28 word_t size; 57 void flushPage(vm_page_size_t page_size, pde_t *pd, asid_t asid, word_t vptr); 58 void flushTable(pde_t *pd, asid_t asid, word_t vptr, pte_t *pt);
|
/seL4-refos-master/kernel/include/arch/arm/armv/armv7ve/armv/ |
H A D | debug.h | 18 static inline word_t readDscrCp(void) 20 word_t v; 33 static inline void writeDscrCp(word_t val) 68 word_t wcrtmp;
|
/seL4-refos-master/kernel/include/arch/arm/armv/armv7-a/armv/ |
H A D | debug.h | 18 static inline word_t readDscrCp(void) 20 word_t v; 33 static inline void writeDscrCp(word_t val) 68 word_t wcrtmp;
|
/seL4-refos-master/kernel/include/arch/arm/armv/armv8-a/32/armv/ |
H A D | debug.h | 18 static inline word_t readDscrCp(void) 20 word_t v; 33 static inline void writeDscrCp(word_t val) 68 word_t wcrtmp;
|
/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/model/ |
H A D | smp.h | 16 word_t stack;
|
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/machine/ |
H A D | cpu_registers.h | 11 word_t cr3;
|
/seL4-refos-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 65 word_t i; 189 word_t i; 224 word_t *buffer) 244 word_t invLabel, 245 word_t length, 249 word_t *buffer 255 word_t vaddr; 312 word_t value; 315 static readWordFromVSpace_ret_t readWordFromVSpace(vspace_root_t *vspace, word_t vaddr) 321 word_t offse [all...] |
/seL4-refos-master/kernel/include/arch/arm/arch/model/ |
H A D | smp.h | 14 static inline cpu_id_t cpuIndexToID(word_t index)
|
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/model/ |
H A D | statedata.h | 16 extern word_t armKSGlobalsFrame[BIT(ARMSmallPageBits) / sizeof(word_t)] VISIBLE;
|
/seL4-refos-master/kernel/src/arch/x86/32/machine/ |
H A D | registerset.c | 54 word_t Mode_sanitiseRegister(register_t reg, word_t v) 60 word_t getNBSendRecvDest(void)
|
/seL4-refos-master/kernel/include/arch/arm/armv/armv6/armv/ |
H A D | debug.h | 25 static word_t readDscrCp(void) 27 word_t v; 41 static void writeDscrCp(word_t val)
|
/seL4-refos-master/kernel/include/arch/x86/arch/kernel/ |
H A D | xapic.h | 58 static inline word_t apic_get_cluster(logical_id_t logical_id) 63 static inline void apic_write_icr(word_t high, word_t low)
|
H A D | x2apic.h | 57 static inline word_t apic_get_cluster(logical_id_t logical_id) 62 static inline void apic_write_icr(word_t high, word_t low)
|