K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2014-01-05T02:00:05.650476Z
K 7
svn:log
V 374
Eliminate the global shub_dev variable and instead obtain the device_t
of the SHub to which the CPU is connected by using the nasid of the SHub
from the PCPU structure. This way, we always communicate with our local
SHub, as is required.
For this to work, the nasid must correspind to the unit number of the
SHub device driver instance. Assert that this is indeed the case.

END