> +EXPORT_SYMBOL_GPL(hv_ghcb_msr_write);Just curious, who is going to use all these exports? These seems likeextremely low-level functionality. Isn't there a way to build a moreuseful higher level API?