Change Details

Being in the "machine/" directory already indicates these headers differ from machine to machine. As such the shorter name "intr.h" is appropriate. This also matches the INTRNG machines for the header name.

Having two distinct names for the interrupt headers serves to interfere with most efforts to converge the interrupt frameworks. Simply rename all of them to "machine/a_bikeshed_string_for_sed_to_target.h". Another name could be substituted, but right now simply have a random one for this commit.

Being in the "machine/" directory already indicates these headers differHaving two distinct names for the interrupt headers serves to interfere from machine to machinewith most efforts to converge the interrupt frameworks. As such the shorter Simply rename "intr.h" is appropriateall of them to "machine/a_bikeshed_string_for_sed_to_target.h". This also matches the INTRNG machines for the header nameAnother name could be substituted, but right now simply have a random one for this commit.