Symbol: savic_ghcb_msr_read