Did you mean (for openbmc):vcpu_reset_hcr vcpu_set_msr
Your search defs:vcpu_set_hcr did not match any files. Suggestions: