hwi_add_location()

Updated: April 19, 2023

Synopsis:

void hwi_add_location(paddr_t base, 
                      paddr_t len, 
                      unsigned reg_shift, 
                      unsigned addr_space);

Description:

Add a location tag structure to the hwinfo section. The fields of the structure will be set to the given parameters.