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 |