/*#
 *#Copyright 2021, HENSOLDT Cyber GmbH
 *#
 *#SPDX-License-Identifier: BSD-2-Clause
  #*/

#include <sel4/sel4.h>

/*# Declare all the function prototypes for this connector. #*/
void /*? me.interface.name ?*/_emit(unsigned int badge);
int /*? me.interface.name ?*/_largest_badge(void);