microwatt.h

1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _MICROWATT_H
3#define _MICROWATT_H
4
5void microwatt_rng_init(void);
6void microwatt_init_smp(void);
7
8#endif /* _MICROWATT_H */