| 1968 | } |
| 1969 | |
| 1970 | static uint64_t |
| 1971 | inout_str_count(struct vmx *vmx, int vcpuid, int rep) |
| 1972 | { |
| 1973 | uint64_t val; |
| 1974 | int error; |
| 1975 | |
| 1976 | if (rep) { |
| 1977 | error = vmx_getreg(vmx, vcpuid, VM_REG_GUEST_RCX, &val); |
| 1978 | KASSERT(!error, ("%s: vmx_getreg error %d", __func__, error)); |
| 1979 | } else { |
| 1980 | val = 1; |
| 1981 | } |
| 1982 | return (val); |
| 1983 | } |
| 1984 | |
| 1985 | static int |
| 1986 | inout_str_addrsize(uint32_t inst_info) |
no test coverage detected