static inline int i8042_read_data(void)
{

}