// When a key is arrived, one of the processes will win the race and
// swallow it (advancing the key buffer pointer)
if (!kbd_recv_key(&keyevent)) {
// When a key is arrived, one of the processes will win the race and
// swallow it (advancing the key buffer pointer)
if (!kbd_recv_key(&keyevent)) {