tdh_phymem_page_wbinvd_hkid
u64 tdh_phymem_page_wbinvd_hkid(u64 hkid, struct page *page);
err = tdh_phymem_page_wbinvd_hkid((u16)kvm_tdx->hkid, page);
EXPORT_SYMBOL_FOR_KVM(tdh_phymem_page_wbinvd_hkid);