| /* | |
| * Copyright (c) 2019 Lexmark International, Inc. | |
| * | |
| * SPDX-License-Identifier: Apache-2.0 | |
| * | |
| */ | |
| #ifndef _BOARD__H_ | |
| #define _BOARD__H_ | |
| #include <misc/util.h> | |
| #ifndef _ASMLANGUAGE | |
| #include <device.h> | |
| #include <misc/util.h> | |
| #endif /* !_ASMLANGUAGE */ | |
| #endif /* _BOARD__H_ */ |