| 260 | } |
| 261 | |
| 262 | PRIVATE t_8 get_byte_from_kb_buf() |
| 263 | { |
| 264 | t_8 scan_code; |
| 265 | |
| 266 | RT_ASSERT(kb_in.count>0); |
| 267 | scan_code = *(kb_in.p_tail); |
| 268 | kb_in.p_tail++; |
| 269 | if (kb_in.p_tail == kb_in.buf + KB_IN_BYTES) { |
| 270 | kb_in.p_tail = kb_in.buf; |
| 271 | } |
| 272 | kb_in.count--; |
| 273 | |
| 274 | return scan_code; |
| 275 | } |
| 276 | |
| 277 | PRIVATE void kb_wait() /* wait inpit cache of 8042 */ |
| 278 | { |