| /seL4-master/include/arch/x86/arch/machine/ |
| A D | cpu_registers.h | 36 static inline void xsetbv(uint32_t reg, uint64_t value) in xsetbv()
41 static inline void write_xcr0(uint64_t value) in write_xcr0()
|
| /seL4-master/include/arch/riscv/arch/ |
| A D | machine.h | 149 static inline void write_satp(word_t value) in write_satp()
154 static inline void write_stvec(word_t value) in write_stvec()
194 static inline void write_sie(word_t value) in write_sie()
226 static inline void write_fcsr(uint32_t value) in write_fcsr()
|
| /seL4-master/include/arch/x86/arch/32/mode/machine/ |
| A D | cpu_registers.h | 48 static inline void write_cr4(unsigned long value) in write_cr4()
|
| /seL4-master/src/arch/arm/object/ |
| A D | vcpu.c | 71 static void writeVCPUReg(vcpu_t *vcpu, word_t field, word_t value) in writeVCPUReg()
307 exception_t invokeVCPUWriteReg(vcpu_t *vcpu, word_t field, word_t value) in invokeVCPUWriteReg()
316 word_t value; in decodeVCPUWriteReg() local
338 word_t value = readVCPUReg(vcpu, field); in invokeVCPUReadReg() local
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | cmdline.c | 32 static int UNUSED parse_opt(const char *cmdline, const char *opt, char *value, int bufsize) in parse_opt()
|
| /seL4-master/src/arch/x86/32/ |
| A D | traps.S | 56 #define SET_SELECTOR(selector, value, tmp) \ argument
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace_32paging.c | 311 word_t value; member
322 word_t *value; in readWordFromVSpace() local
|
| /seL4-master/include/ |
| A D | util.h | 115 #define _is_set_(value) _is_set__(_macrotest_##value) argument
122 #define _config_ternary(value, true, false) _config_ternary_(_macrotest_##value, true, false) argument
|
| /seL4-master/src/plat/pc99/machine/ |
| A D | ioapic.c | 42 static void ioapic_write(uint32_t ioapic, word_t reg, uint32_t value) in ioapic_write()
|
| A D | intel-vtd.c | 98 static inline void vtd_write32(drhu_id_t drhu_id, uint32_t offset, uint32_t value) in vtd_write32()
109 static inline void vtd_write64(drhu_id_t drhu_id, uint32_t offset, uint64_t value) in vtd_write64()
|
| /seL4-master/include/smp/ |
| A D | lock.h | 28 clh_qnode_state_t value; member
|
| /seL4-master/src/arch/x86/object/ |
| A D | vcpu.c | 611 static exception_t invokeWriteVMCS(vcpu_t *vcpu, word_t *buffer, word_t field, word_t value) in invokeWriteVMCS()
641 word_t value; in decodeWriteVMCS() local
1180 word_t value; in handleVmexit() local
1211 uint16_t value = vmx_data_exit_qualification_control_regster_get_data(qual); in handleVmexit() local
|
| /seL4-master/include/arch/arm/arch/object/ |
| A D | vcpu.h | 176 static inline void vcpu_write_reg(vcpu_t *vcpu, word_t reg, word_t value) in vcpu_write_reg()
|
| /seL4-master/include/arch/x86/arch/object/ |
| A D | vcpu.h | 355 word_t value; in vmread() local
367 static inline void vmwrite(word_t field, word_t value) in vmwrite()
|
| A D | structures.h | 121 uint64_t value; member
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 1534 word_t value; member
1546 word_t *value; in readWordFromVSpace() local
|
| /seL4-master/libsel4/tools/ |
| A D | bitfield_gen.py | 1986 def represent_value(self, value, width): argument
2010 def assert_value_in_class(self, name, value, width): argument
|
| /seL4-master/tools/ |
| A D | bitfield_gen.py | 1986 def represent_value(self, value, width): argument
2010 def assert_value_in_class(self, name, value, width): argument
|
| /seL4-master/include/arch/x86/arch/ |
| A D | machine.h | 103 uint64_t value; in x86_rdmsr() local
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 2785 word_t value; member
2796 word_t *value; local
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 2453 word_t value; member
2462 word_t *value; in readWordFromVSpace() local
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | vspace.c | 1170 word_t *value = (word_t *)((word_t)pptr + (address & MASK(ret.ptBitsLeft))); in Arch_userStackTrace() local
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | syscalls.h | 888 LIBSEL4_INLINE_FUNC void seL4_X86DangerousWRMSR(seL4_Uint32 msr, seL4_Uint64 value) in seL4_X86DangerousWRMSR()
|
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | syscalls.h | 621 LIBSEL4_INLINE_FUNC void seL4_X86DangerousWRMSR(seL4_Uint32 msr, seL4_Uint64 value) in seL4_X86DangerousWRMSR()
|