Files
openbios/drivers
Andreas Färber 412b9e663b adb: Don't assume that pointers fit in 32 bits
The adb_dev_t state field is used to store a adb_kbd_t pointer.
It is unused in the mouse driver.

v2:
* Change field type from uint32_t to void* to avoid uintptr_t casts
  in keyboard driver.

Signed-off-by: Andreas Färber <andreas.faerber@web.de>
Acked-by: Alexander Graf <agraf@suse.de>

git-svn-id: svn://coreboot.org/openbios/trunk/openbios-devel@924 f158a5a8-5612-0410-a976-696ce0be7e32
2010-10-30 12:22:06 +00:00
..
2009-01-04 20:39:50 +00:00
2009-01-04 20:39:50 +00:00
2009-01-05 20:30:39 +00:00
2009-01-12 17:46:19 +00:00
2010-09-11 16:39:32 +00:00
2008-11-17 19:42:11 +00:00
2010-10-03 16:37:47 +00:00
2010-10-03 19:18:23 +00:00
2009-01-03 13:45:02 +00:00
2009-11-06 21:23:32 +00:00
2008-12-13 09:26:41 +00:00
2009-02-08 12:22:04 +00:00
2010-08-08 21:20:15 +00:00
2010-08-22 09:29:28 +00:00
2010-08-22 09:29:28 +00:00
2010-05-27 20:12:11 +00:00
2010-05-27 20:12:11 +00:00
2008-12-13 09:26:41 +00:00
2006-07-18 21:48:00 +00:00
2010-05-27 20:12:11 +00:00