Use print_label_map to pass the label_map from objdiff to objmanip.
tree50b014a5c382e98d312a333130b306acf3ebb9e9
-rw-r--r-- 17987 COPYING
-rw-r--r-- 1245 ChangeLog
-rw-r--r-- 5822 Ksplice.pm.in
-rw-r--r-- 3478 Makefile.in
-rw-r--r-- 4857 Makefile.ksplice
-rw-r--r-- 826 README.bin
-rw-r--r-- 696 README.src
-rw-r--r-- 1017 Verbose.pm
-rw-r--r-- 1980 aclocal.m4
-rw-r--r-- 3005 configure.ac
-rwxr-xr-x 574 gendiff-reversed
-rw-r--r-- 7561 inspect.c
drwxr-xr-x - kmodsrc
-rw-r--r-- 7378 ksplice-apply.in
-rw-r--r-- 12676 ksplice-create.in
-rw-r--r-- 4100 ksplice-obj.pl.in
-rw-r--r-- 4583 ksplice-undo.in
-rw-r--r-- 3658 ksplice-view.in
-rw-r--r-- 15468 objcommon.c
-rw-r--r-- 6973 objcommon.h
-rw-r--r-- 10362 objdiff.c
-rw-r--r-- 36460 objmanip.c