Searched refs:vmcs_hva (Results 1 – 1 of 1) sorted by relevance
479 static uint64_t vmcs12_read_field(void *vmcs_hva, uint32_t field) in vmcs12_read_field() argument481 uint64_t *ptr = (uint64_t *)(vmcs_hva + vmcs_field_to_vmcs12_offset(field)); in vmcs12_read_field()510 static void vmcs12_write_field(void *vmcs_hva, uint32_t field, uint64_t val64) in vmcs12_write_field() argument512 uint64_t *ptr = (uint64_t *)(vmcs_hva + vmcs_field_to_vmcs12_offset(field)); in vmcs12_write_field()
Completed in 6 milliseconds