Home
last modified time | relevance | path

Searched refs:field (Results 1 – 7 of 7) sorted by relevance

/hypervisor/arch/x86/
A Dvmx.c162 uint32_t exec_vmread32(uint32_t field) in exec_vmread32() argument
166 value = exec_vmread64(field); in exec_vmread32()
171 uint16_t exec_vmread16(uint32_t field) in exec_vmread16() argument
175 value = exec_vmread64(field); in exec_vmread16()
188 void exec_vmwrite32(uint32_t field, uint32_t value) in exec_vmwrite32() argument
190 exec_vmwrite64(field, (uint64_t)value); in exec_vmwrite32()
193 void exec_vmwrite16(uint32_t field, uint16_t value) in exec_vmwrite16() argument
195 exec_vmwrite64(field, (uint64_t)value); in exec_vmwrite16()
/hypervisor/scripts/
A Dgenld.sh12 field=${arr[0]}
14 sed -i "s/\b$field\b/$value/g" $out
/hypervisor/include/arch/x86/asm/
A Dvmx.h449 uint16_t exec_vmread16(uint32_t field);
450 uint32_t exec_vmread32(uint32_t field);
454 void exec_vmwrite16(uint32_t field, uint16_t value);
455 void exec_vmwrite32(uint32_t field, uint32_t value);
/hypervisor/arch/x86/guest/
A Dnested.c479 static uint64_t vmcs12_read_field(void *vmcs_hva, uint32_t field) in vmcs12_read_field() argument
481 uint64_t *ptr = (uint64_t *)(vmcs_hva + vmcs_field_to_vmcs12_offset(field)); in vmcs12_read_field()
484 switch (VMX_VMCS_FIELD_WIDTH(field)) { in vmcs12_read_field()
492 if (!!VMX_VMCS_FIELD_ACCESS_HIGH(field)) { in vmcs12_read_field()
510 static void vmcs12_write_field(void *vmcs_hva, uint32_t field, uint64_t val64) in vmcs12_write_field() argument
512 uint64_t *ptr = (uint64_t *)(vmcs_hva + vmcs_field_to_vmcs12_offset(field)); in vmcs12_write_field()
514 switch (VMX_VMCS_FIELD_WIDTH(field)) { in vmcs12_write_field()
522 if (!!VMX_VMCS_FIELD_ACCESS_HIGH(field)) { in vmcs12_write_field()
822 static inline bool is_ro_vmcs_field(uint32_t field) in is_ro_vmcs_field() argument
824 const uint8_t w = VMX_VMCS_FIELD_WIDTH(field); in is_ro_vmcs_field()
[all …]
A Dinstr_emul.c446 uint32_t field = get_vmcs_field(reg); in vm_get_register() local
449 reg_val = exec_vmread(field); in vm_get_register()
451 reg_val = exec_vmread64(field); in vm_get_register()
453 reg_val = (uint64_t)exec_vmread16(field); in vm_get_register()
475 uint32_t field = get_vmcs_field(reg); in vm_set_register() local
478 exec_vmwrite(field, val); in vm_set_register()
480 exec_vmwrite64(field, val); in vm_set_register()
482 exec_vmwrite16(field, (uint16_t)val); in vm_set_register()
A Dvmsr.c571 uint64_t field; in write_pat_msr() local
575 field = (value >> (i * 8U)) & 0xffUL; in write_pat_msr()
576 if (is_pat_mem_type_invalid(field)) { in write_pat_msr()
/hypervisor/lib/crypto/mbedtls/
A DChangeLog218 unable to parse keys which had only the optional parameters field of the

Completed in 18 milliseconds