Symbol: ghcb_state