|
@@ -130,8 +130,8 @@ 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_OSRELEASE(value) \
|
|
|
+ vmcoreinfo_append_str("OSRELEASE=%s\n", value)
|
|
|
#define VMCOREINFO_PAGESIZE(value) \
|
|
|
vmcoreinfo_append_str("PAGESIZE=%ld\n", value)
|
|
|
#define VMCOREINFO_SYMBOL(name) \
|