#pragma once

void ps2_keyboard_init();
void ps2_keyboard_irq_handler();