diff options
Diffstat (limited to 'drivers/gator/gator_marshaling.c')
-rw-r--r-- | drivers/gator/gator_marshaling.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/drivers/gator/gator_marshaling.c b/drivers/gator/gator_marshaling.c index f5b81843d1c4..cb75a3494519 100644 --- a/drivers/gator/gator_marshaling.c +++ b/drivers/gator/gator_marshaling.c @@ -27,6 +27,7 @@ static void marshal_summary(long long timestamp, long long uptime, long long mon { unsigned long flags; int cpu = 0; + char buf[32]; local_irq_save(flags); gator_buffer_write_packed_int(cpu, SUMMARY_BUF, MESSAGE_SUMMARY); @@ -36,6 +37,9 @@ static void marshal_summary(long long timestamp, long long uptime, long long mon gator_buffer_write_packed_int64(cpu, SUMMARY_BUF, monotonic_delta); gator_buffer_write_string(cpu, SUMMARY_BUF, "uname"); gator_buffer_write_string(cpu, SUMMARY_BUF, uname); + gator_buffer_write_string(cpu, SUMMARY_BUF, "PAGESIZE"); + snprintf(buf, sizeof(buf), "%lu", PAGE_SIZE); + gator_buffer_write_string(cpu, SUMMARY_BUF, buf); #if GATOR_IKS_SUPPORT gator_buffer_write_string(cpu, SUMMARY_BUF, "iks"); gator_buffer_write_string(cpu, SUMMARY_BUF, ""); |