#pragma once void ps2_ctrl_init(); unsigned char ps2_read_port1(); unsigned char ps2_read_port2();