Symbol: wr_ghcb_msr