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.