regread
int vmm_emulate_register(struct vcpu *vcpu, struct vre *vre, reg_read_t regread,
vmm_emulate_register(struct vcpu *vcpu, struct vre *vre, reg_read_t regread,
error = regread(vcpu, &val, regarg);
int vmm_emulate_register(struct vcpu *vcpu, struct vre *vre, reg_read_t regread,
vmm_emulate_register(struct vcpu *vcpu, struct vre *vre, reg_read_t regread,
error = regread(vcpu, &val, regarg);
printf("%s = %08x\n", argv[0], regread(s, &atd, reg));
static uint32_t regread(int s, struct ath_diag *atd, uint32_t r);