word fformat (FILE * f, char *fmt, ...);
word fdformat (int fd, char *fmt, ...);
-always_inline uword
+always_inline u32
format_get_indent (u8 * s)
{
- uword indent = 0;
+ u32 indent = 0;
u8 *nl;
if (!s)
_(format_time_float);
_(format_signal);
_(format_ucontext_pc);
+_(format_page_map);
#endif
#undef _