void hwi_add_location(paddr_t base,
paddr_t len,
unsigned reg_shift,
unsigned addr_space);
Add a location tag structure to the hwinfo section. The fields of the structure will be set to the given parameters.