/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/machine/ |
H A D | cpu_registers.h | 52 static inline void write_cr4(unsigned long value) argument
|
/seL4-mcs-10.1.1/include/arch/riscv/arch/ |
H A D | machine.h | 49 static inline void write_sptbr(word_t value) argument 54 static inline void write_stvec(word_t value) argument
|
/seL4-mcs-10.1.1/include/arch/x86/arch/machine/ |
H A D | cpu_registers.h | 41 static inline void xsetbv(uint32_t reg, uint64_t value) argument 46 static inline void write_xcr0(uint64_t value) argument
|
/seL4-mcs-10.1.1/src/arch/x86/kernel/ |
H A D | cmdline.c | 36 static int UNUSED parse_opt(const char *cmdline, const char *opt, char *value, int bufsize) argument
|
/seL4-mcs-10.1.1/include/smp/ |
H A D | lock.h | 35 clh_qnode_state_t value; member in struct:clh_qnode
|
/seL4-mcs-10.1.1/src/plat/pc99/machine/ |
H A D | ioapic.c | 46 static void ioapic_write(uint32_t ioapic, word_t reg, uint32_t value) argument
|
H A D | intel-vtd.c | 100 static inline void vtd_write32(drhu_id_t drhu_id, uint32_t offset, uint32_t value) argument 111 static inline void vtd_write64(drhu_id_t drhu_id, uint32_t offset, uint64_t value) argument
|
/seL4-mcs-10.1.1/src/plat/spike/machine/ |
H A D | fdt.c | 69 uint32_t *value; member in struct:fdt_scan_prop 93 static const uint32_t *fdt_get_address(const struct fdt_scan_node *node, const uint32_t *value, uint64_t *result) argument 102 static const uint32_t *fdt_get_size(const struct fdt_scan_node *node, const uint32_t *value, uint64_t *result) argument 166 const uint32_t *value = state->reg_value; local [all...] |
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | syscalls.h | 719 seL4_X86DangerousWRMSR(seL4_Uint32 msr, seL4_Uint64 value) argument
|
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | syscalls.h | 585 seL4_X86DangerousWRMSR(seL4_Uint32 msr, seL4_Uint64 value) argument
|
/seL4-mcs-10.1.1/src/arch/arm/object/ |
H A D | vcpu.c | 70 vcpu_write_reg(vcpu_t *vcpu, word_t reg, word_t value) argument 336 writeVCPUReg(vcpu_t *vcpu, word_t field, word_t value) argument 542 invokeVCPUWriteReg(vcpu_t *vcpu, word_t field, word_t value) argument 552 word_t value; local 575 word_t value = readVCPUReg(vcpu, field); local [all...] |
/seL4-mcs-10.1.1/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 322 word_t value; member in struct:readWordFromVSpace_ret 334 word_t *value; local
|
/seL4-mcs-10.1.1/include/arch/x86/arch/object/ |
H A D | structures.h | 138 uint64_t value; member in struct:rdmsr_safe_result
|
H A D | vcpu.h | 364 word_t value; local 377 vmwrite(word_t field, word_t value) argument
|
/seL4-mcs-10.1.1/include/arch/arm/armv/armv8-a/64/armv/ |
H A D | vcpu.h | 600 vcpu_write_reg(vcpu_t *vcpu, word_t reg, word_t value) argument 631 writeVCPUReg(vcpu_t *vcpu, word_t field, word_t value) argument [all...] |
/seL4-mcs-10.1.1/include/arch/x86/arch/ |
H A D | machine.h | 108 uint64_t value; local
|
/seL4-mcs-10.1.1/src/arch/riscv/kernel/ |
H A D | vspace.c | 1242 word_t *value = (word_t*) ((word_t)pptr + (address & MASK(ret.ptBitsLeft))); local
|
/seL4-mcs-10.1.1/src/arch/x86/64/kernel/ |
H A D | vspace.c | 1608 word_t value; member in struct:readWordFromVSpace_ret 1621 word_t *value; local
|
/seL4-mcs-10.1.1/src/arch/arm/32/kernel/ |
H A D | vspace.c | 3134 word_t value; member in struct:readWordFromVSpace_ret 3146 word_t *value; local
|
/seL4-mcs-10.1.1/src/arch/arm/64/kernel/ |
H A D | vspace.c | 2585 word_t value; member in struct:readWordFromVSpace_ret 2595 word_t *value; local
|
/seL4-mcs-10.1.1/src/arch/x86/object/ |
H A D | vcpu.c | 637 invokeWriteVMCS(vcpu_t *vcpu, word_t *buffer, word_t field, word_t value) argument 668 word_t value; local 1219 word_t value; local 1250 uint16_t value = vmx_data_exit_qualification_control_regster_get_data(qual); local [all...] |