Searched refs:word_t (Results 176 - 200 of 308) sorted by relevance

1234567891011>>

/seL4-refos-master/kernel/include/smp/
H A Dlock.h37 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 Dvcpu.c35 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 Dobjecttype.c53 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 Dmachine.h97 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 Dcapdl.c18 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 Dfpu.c29 word_t id_aa64pfr0;
/seL4-refos-master/kernel/src/arch/arm/machine/
H A Dhardware.c12 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 Dstatedata.c26 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 Dregisterset.c28 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 Dstatedata.h33 /* 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 Diospace.c49 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 Dboot.c29 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 Dvspace.h21 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 Ddebug.h18 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 Ddebug.h18 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 Ddebug.h18 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 Dsmp.h16 word_t stack;
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/machine/
H A Dcpu_registers.h11 word_t cr3;
/seL4-refos-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c65 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 Dsmp.h14 static inline cpu_id_t cpuIndexToID(word_t index)
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/model/
H A Dstatedata.h16 extern word_t armKSGlobalsFrame[BIT(ARMSmallPageBits) / sizeof(word_t)] VISIBLE;
/seL4-refos-master/kernel/src/arch/x86/32/machine/
H A Dregisterset.c54 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 Ddebug.h25 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 Dxapic.h58 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 Dx2apic.h57 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)

Completed in 172 milliseconds

1234567891011>>