1 /* SPDX-License-Identifier: GPL-2.0 OR BSD-3-Clause */ 2 /* Copyright (c) 2010-2012 Broadcom. All rights reserved. */ 3 4 #ifndef VCHIQ_VCHIQ_H 5 #define VCHIQ_VCHIQ_H 6 7 #include "vchiq_if.h" 8 #include "vchiq_util.h" 9 10 /* Do this so that we can test-build the code on non-rpi systems */ 11 #if IS_ENABLED(CONFIG_RASPBERRYPI_FIRMWARE) 12 13 #else 14 15 #ifndef dsb 16 #define dsb(a) 17 #endif 18 19 #endif /* IS_ENABLED(CONFIG_RASPBERRYPI_FIRMWARE) */ 20 21 #endif