platsmp.h

1/* SPDX-License-Identifier: GPL-2.0 */
2/*
3 * Copyright (C) 2017 Stefan Wahren <stefan.wahren@i2se.com>
4 */
5
6extern const struct smp_operations bcm2836_smp_ops;