Searched defs:field (Results 1 - 5 of 5) sorted by relevance
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
| H A D | guest_x86_context.c | 49 int vm_set_vmcs_field(vm_vcpu_t *vcpu, seL4_Word field, uint32_t value) argument
96 int vm_get_vmcs_field(vm_vcpu_t *vcpu, seL4_Word field, uint32_t *value) argument
145 int vm_vmcs_read(seL4_CPtr vcpu, seL4_Word field, unsigned int *value) argument
163 int vm_vmcs_write(seL4_CPtr vcpu, seL4_Word field, seL4_Wor argument
[all...] |
| /seL4-camkes-master/kernel/src/arch/arm/object/ |
| H A D | vcpu.c | 58 static word_t readVCPUReg(vcpu_t *vcpu, word_t field) argument
78 static void writeVCPUReg(vcpu_t *vcpu, word_t field, word_t value) argument
299 invokeVCPUWriteReg(vcpu_t *vcpu, word_t field, word_t value) argument
307 word_t field; local
326 invokeVCPUReadReg(vcpu_t *vcpu, word_t field, bool_t call) argument
344 word_t field; local
[all...] |
| /seL4-camkes-master/kernel/src/drivers/smmu/ |
| H A D | smmuv2.c | 180 uint32_t reg, field; local
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/object/ |
| H A D | vcpu.h | 354 static inline word_t vmread(word_t field) argument
368 static inline void vmwrite(word_t field, word_t value) argument
|
| /seL4-camkes-master/kernel/src/arch/x86/object/ |
| H A D | vcpu.c | 611 static exception_t invokeWriteVMCS(vcpu_t *vcpu, word_t *buffer, word_t field, word_t value) argument
640 word_t field; local
743 readVMCSField(vcpu_t *vcpu, word_t field) argument
761 invokeReadVMCS(vcpu_t *vcpu, word_t field, word_t *buffer) argument
780 word_t field = getSyscallArg(0, buffer); local
[all...] |
Completed in 369 milliseconds