minerva / Kernel / Arch / x86_64 / I8042Reboot.h

/*
 * Copyright (c) 2022, Liav A. <liavalb@hotmail.co.il>
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#pragma once

namespace Kernel {

void i8042_reboot();

}