#endif
extern vm_offset_t pe_arm_get_soc_base_phys(void);
-extern uint32_t pe_arm_get_soc_revision(void);
extern uint32_t pe_arm_init_interrupts(void *args);
extern void pe_arm_init_debug(void *args);
#ifdef PEXPERT_KERNEL_PRIVATE
extern void cnputc(char);
+extern void cnputc_unbuffered(char);
#endif
int serial_init(void);
int serial_getc(void);