extern void panic_i386_backtrace(void *, int, const char *, boolean_t, x86_saved_state_t *);
extern void print_one_backtrace(pmap_t pmap, vm_offset_t topfp, const char *cur_marker, boolean_t is_64_bit, boolean_t nvram_format);
extern void panic_i386_backtrace(void *, int, const char *, boolean_t, x86_saved_state_t *);
extern void print_one_backtrace(pmap_t pmap, vm_offset_t topfp, const char *cur_marker, boolean_t is_64_bit, boolean_t nvram_format);