AXIS_DMI_MATCH("HPB452x", "HP ProBook 452", y_inverted),
        AXIS_DMI_MATCH("HPB522x", "HP ProBook 522", xy_swap),
        AXIS_DMI_MATCH("HPB532x", "HP ProBook 532", y_inverted),
+       AXIS_DMI_MATCH("HPB655x", "HP ProBook 655", xy_swap_inverted),
        AXIS_DMI_MATCH("Mini510x", "HP Mini 510", xy_rotated_left_usd),
 +      AXIS_DMI_MATCH("HPB63xx", "HP ProBook 63", xy_swap),
 +      AXIS_DMI_MATCH("HPB64xx", "HP ProBook 64", xy_swap),
 +      AXIS_DMI_MATCH("HPB64xx", "HP EliteBook 84", xy_swap),
 +      AXIS_DMI_MATCH("HPB65xx", "HP ProBook 65", x_inverted),
        { NULL, }
  /* Laptop models without axis info (yet):
   * "NC6910" "HP Compaq 6910"
 
  int kexec_should_crash(struct task_struct *);
  void crash_save_cpu(struct pt_regs *regs, int cpu);
  void crash_save_vmcoreinfo(void);
 +void crash_map_reserved_pages(void);
 +void crash_unmap_reserved_pages(void);
  void arch_crash_save_vmcoreinfo(void);
- void vmcoreinfo_append_str(const char *fmt, ...)
-       __attribute__ ((format (printf, 1, 2)));
+ __printf(1, 2)
+ void vmcoreinfo_append_str(const char *fmt, ...);
  unsigned long paddr_vmcoreinfo_note(void);
  
  #define VMCOREINFO_OSRELEASE(value) \