unsigned long   nocma:1;
 };
 
+/* Helper functions */
+s32 fadump_setup_cpu_notes_buf(u32 num_cpus);
+void fadump_free_cpu_notes_buf(void);
+u32 *fadump_regs_to_elf_notes(u32 *buf, struct pt_regs *regs);
+void fadump_update_elfcore_header(char *bufp);
+bool is_fadump_boot_mem_contiguous(void);
+bool is_fadump_reserved_mem_contiguous(void);
+
 #endif /* _ASM_POWERPC_FADUMP_INTERNAL_H */
 
  * Returns true, if there are no holes in boot memory area,
  * false otherwise.
  */
-static bool is_boot_memory_area_contiguous(void)
+bool is_fadump_boot_mem_contiguous(void)
 {
        return is_fadump_mem_area_contiguous(0, fw_dump.boot_memory_size);
 }
  * Returns true, if there are no holes in reserved memory area,
  * false otherwise.
  */
-static bool is_reserved_memory_area_contiguous(void)
+bool is_fadump_reserved_mem_contiguous(void)
 {
        u64 d_start, d_end;
 
                        " dump. Hardware Error(%d).\n", rc);
                break;
        case -3:
-               if (!is_boot_memory_area_contiguous())
+               if (!is_fadump_boot_mem_contiguous())
                        pr_err("Can't have holes in boot memory area while registering fadump\n");
-               else if (!is_reserved_memory_area_contiguous())
+               else if (!is_fadump_reserved_mem_contiguous())
                        pr_err("Can't have holes in reserved memory area while"
                               " registering fadump\n");
 
        return reg_entry;
 }
 
-static u32 *fadump_regs_to_elf_notes(u32 *buf, struct pt_regs *regs)
+u32 *fadump_regs_to_elf_notes(u32 *buf, struct pt_regs *regs)
 {
        struct elf_prstatus prstatus;
 
        return buf;
 }
 
-static void fadump_update_elfcore_header(char *bufp)
+void fadump_update_elfcore_header(char *bufp)
 {
        struct elfhdr *elf;
        struct elf_phdr *phdr;
        __free_pages(page, order);
 }
 
-static s32 fadump_setup_cpu_notes_buf(u32 num_cpus)
+s32 fadump_setup_cpu_notes_buf(u32 num_cpus)
 {
        /* Allocate buffer to hold cpu crash notes. */
        fw_dump.cpu_notes_buf_size = num_cpus * sizeof(note_buf_t);
        return 0;
 }
 
-static void fadump_free_cpu_notes_buf(void)
+void fadump_free_cpu_notes_buf(void)
 {
        if (!fw_dump.cpu_notes_buf_vaddr)
                return;