Remove intr_post function. No longer being used.
[gem5.git] / configs /
drwxr-xr-x   ..
drwxr-xr-x - boot
drwxr-xr-x - splash2