Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset 0b5a4131 in mainline for uspace/srv/hw/char/i8042/i8042.h

Timestamp:
2010-11-18T18:10:11Z (13 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master, serial
Children:
c63e70c
Parents:
991f645
Message:

Rename device_handle_t to devman_handle_t and make it explicitly clear that
device_handle_t is a handle understood by devman.

(No files)

Note: See TracChangeset for help on using the changeset viewer.