/* SPDX-License-Identifier: GPL-2.0 */
#ifndef _MICROWATT_H
#define _MICROWATT_H

void microwatt_rng_init(void);
void microwatt_init_smp(void);

#endif /* _MICROWATT_H */