HBM derived estimate
HBM is not separately identifiable in Korean customs codes, so this page shows a supplier-share-derived revenue estimate with the formula visible.
hbm_derivation.txt
01 hbm_kr_estimated = global_hbm_revenue × (sk_hynix_share + samsung_share)02 source = Counterpoint quarterly HBM supplier share03 unit = USD billions