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
22