| Srikanth Vavilapalli | 1725e49 | 2014-12-01 17:50:52 -0800 | [diff] [blame] | 1 | priority 100 |
| 2 | Set the priority of this currently-defined address-space | ||||
| 3 | |||||
| 4 | no priority 100 | ||||
| 5 | Remove the previous priority declaration, | ||||
| 6 | and reset this address-space's priority to the default value | ||||