for HW devices.
allocated using these functions is reclaimed when the corresponding device is deleted.
Add notes to hw-device.h that discuss the interpretation of SPACE:ADDR on a BUS.