#pragma once
#include <stdint.h>

void ps2_irq(void);
void ps2_init(void);