__vm_id_reg
({ u64 __val = *__vm_id_reg(&(kvm)->arch, reg); __val; })
u64 *p = __vm_id_reg(&kvm->arch, reg);