diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-12-03 15:48:45 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-12-12 18:48:49 +0100 |
| commit | 69fce9f7bc6f81231953b4551e574dd90fc10e45 (patch) | |
| tree | 4f67af06dc564e8713ca98111b8c9b04b68661b7 /validation | |
| parent | e206ae0348021d4d3c2c7c02f41fb5dbcf14cdb2 (diff) | |
| download | sparse-dev-69fce9f7bc6f81231953b4551e574dd90fc10e45.tar.gz | |
as-name: use idents for address spaces
Currently, address space are identified by an number and
displayed as '<asn:%d>'. It would be more useful to display
a name like the one used in the code: '__user', '__iomem', ....
Prepare this by using an identifier instead of the AS number.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
0 files changed, 0 insertions, 0 deletions