kernel/platform/pc/include/platform/keyboard.h

// Copyright 2016 The Fuchsia Authors
// Copyright (c) 2009 Corey Tabaka
//
// Use of this source code is governed by a MIT-style
// license that can be found in the LICENSE file or at
// https://opensource.org/licenses/MIT

#pragma once

#include <lib/cbuf.h>

void platform_init_keyboard(cbuf_t* buffer);

int platform_read_key(char* c);

// Reboot the system via the keyboard, returns on failure.
void pc_keyboard_reboot(void);