aboutsummaryrefslogtreecommitdiffstats
path: root/libinstaller/syslinux.h
diff options
context:
space:
mode:
authorH. Peter Anvin <hpa@zytor.com>2014-01-17 16:54:32 -0800
committerH. Peter Anvin <hpa@zytor.com>2014-01-17 16:55:34 -0800
commit12eae5ce91273ba9a98b7fe9a838f5ef2f9044b7 (patch)
tree871283162279ea3cff76c9c776ea024c4839c4dd /libinstaller/syslinux.h
parent39311d7551b2834c67f3fd3ac197f8f634afb2d1 (diff)
downloadsyslinux-12eae5ce91273ba9a98b7fe9a838f5ef2f9044b7.tar.gz
syslinux-12eae5ce91273ba9a98b7fe9a838f5ef2f9044b7.tar.xz
syslinux-12eae5ce91273ba9a98b7fe9a838f5ef2f9044b7.zip
installer: Add sparse address space annotations to the syslinux image
Add sparse address space annotations for the syslinux boot image, to make it easier to catch errors that break the DOS installer build again. Use "make CC=cgcc" to run sparse. Signed-off-by: H. Peter Anvin <hpa@zytor.com>
Diffstat (limited to 'libinstaller/syslinux.h')
-rw-r--r--libinstaller/syslinux.h12
1 files changed, 10 insertions, 2 deletions
diff --git a/libinstaller/syslinux.h b/libinstaller/syslinux.h
index f60a066e..f6c64333 100644
--- a/libinstaller/syslinux.h
+++ b/libinstaller/syslinux.h
@@ -17,16 +17,24 @@
#include "advconst.h"
#include "setadv.h"
+#ifdef __CHECKER__
+# define _slimg __attribute__((noderef,address_space(1)))
+# define _force __attribute__((force))
+#else
+# define _slimg
+# define _force
+#endif
+
/* The standard boot sector and ldlinux image */
extern unsigned char syslinux_bootsect[];
extern const unsigned int syslinux_bootsect_len;
extern const int syslinux_bootsect_mtime;
-extern unsigned char syslinux_ldlinux[];
+extern unsigned char _slimg syslinux_ldlinux[];
extern const unsigned int syslinux_ldlinux_len;
extern const int syslinux_ldlinux_mtime;
-extern unsigned char syslinux_ldlinuxc32[];
+extern unsigned char _slimg syslinux_ldlinuxc32[];
extern const unsigned int syslinux_ldlinuxc32_len;
#define boot_sector syslinux_bootsect