Did you mean (for openbmc):vcpu_get_msr
Your search defs:vcpu_get_hcr did not match any files. Suggestions: