Update Ksplice for new x86 header guard format.
[ksplice.git] / ksplice-patch / 
treedc2df0a4c2daa75750d018dfd47e6a15416b93a1
drwxr-xr-x   ..
-rw-r--r-- 4468 ksplice-patch.h
-rw-r--r-- 1767 ksplice-shadow.h