/* usb_keyboard.h - Implementation of a USB keyboard device
 *
 * Copyright (C) 2024  Luke T. Shumaker <lukeshu@lukeshu.com>
 * SPDX-Licence-Identifier: AGPL-3.0-or-later
 */

#ifndef _USB_KEYBOARD_H_
#define _USB_KEYBOARD_H_

#include <libcr_ipc/rpc.h>

typedef cr_rpc_t(uint32_t, int) usb_keyboard_rpc_t;

void usb_keyboard_init(void);
COROUTINE usb_keyboard_cr(void *arg);

#endif /* _USB_KEYBOARD_H_ */