platsmp.h

/* SPDX-License-Identifier: GPL-2.0 */
/*
 * Copyright (C) 2017 Stefan Wahren <[email protected]>
 */

extern const struct smp_operations bcm2836_smp_ops;