Lines Matching refs:ptr
481 uint64_t *ptr = (uint64_t *)(vmcs_hva + vmcs_field_to_vmcs12_offset(field)); in vmcs12_read_field() local
486 val64 = *(uint16_t *)ptr; in vmcs12_read_field()
489 val64 = *(uint32_t *)ptr; in vmcs12_read_field()
493 val64 = *(uint32_t *)ptr; in vmcs12_read_field()
495 val64 = *ptr; in vmcs12_read_field()
500 val64 = *ptr; in vmcs12_read_field()
512 uint64_t *ptr = (uint64_t *)(vmcs_hva + vmcs_field_to_vmcs12_offset(field)); in vmcs12_write_field() local
516 *(uint16_t *)ptr = (uint16_t)val64; in vmcs12_write_field()
519 *(uint32_t *)ptr = (uint32_t)val64; in vmcs12_write_field()
523 *(uint32_t *)ptr = (uint32_t)val64; in vmcs12_write_field()
525 *ptr = val64; in vmcs12_write_field()
530 *ptr = val64; in vmcs12_write_field()