Symbol: tdx_mr_refresh
drivers/virt/coco/tdx-guest/tdx-guest.c
122
.refresh = tdx_mr_refresh,
drivers/virt/coco/tdx-guest/tdx-guest.c
136
rc = tdx_mr_refresh(&tdx_measurements);