Print the name of the device as well as the pointers
[akaros.git] / include
1 kern/include/