|
@@ -127,6 +127,10 @@ void vmcoreinfo_append_str(const char *fmt, ...)
|
|
|
__attribute__ ((format (printf, 1, 2)));
|
|
|
unsigned long paddr_vmcoreinfo_note(void);
|
|
|
|
|
|
+#define VMCOREINFO_OSRELEASE(name) \
|
|
|
+ vmcoreinfo_append_str("OSRELEASE=%s\n", #name)
|
|
|
+#define VMCOREINFO_PAGESIZE(value) \
|
|
|
+ vmcoreinfo_append_str("PAGESIZE=%ld\n", value)
|
|
|
#define VMCOREINFO_SYMBOL(name) \
|
|
|
vmcoreinfo_append_str("SYMBOL(%s)=%lx\n", #name, (unsigned long)&name)
|
|
|
#define VMCOREINFO_SIZE(name) \
|