Symbol: atf_sync_val_subword