Symbol: savic_ghcb_msr_write