1 // Copyright 2016 The Fuchsia Authors
2 // Copyright (c) 2009 Corey Tabaka
3 //
4 // Use of this source code is governed by a MIT-style
5 // license that can be found in the LICENSE file or at
6 // https://opensource.org/licenses/MIT
7 
8 #pragma once
9 
10 #include <lib/cbuf.h>
11 
12 void platform_init_keyboard(cbuf_t* buffer);
13 
14 int platform_read_key(char* c);
15 
16 // Reboot the system via the keyboard, returns on failure.
17 void pc_keyboard_reboot(void);
18