#define PROM_INVALID_HANDLE ((prom_handle)-1UL)
#define BOOTDEVSZ (2048) /* iscsi args can be in excess of 1040 bytes */
#define TOK_ISCSI "iscsi"
-#define PROM_CLAIM_MAX_ADDR 0x8000000
+#define TOK_IPV6 "ipv6"
+#define PROM_CLAIM_MAX_ADDR 0x10000000
#define BOOTLASTSZ 1024
#define FW_NBR_REBOOTSZ 4
void prom_vprintf (char *fmt, va_list ap) __attribute__ ((format (printf, 1, 0)));
void prom_fprintf (prom_handle dev, char *fmt, ...) __attribute__ ((format (printf, 2, 3)));
void prom_printf (char *fmt, ...) __attribute__ ((format (printf, 1, 2)));
+void prom_debug (char *fmt, ...) __attribute__ ((format (printf, 1, 2)));
#else
void prom_vprintf (char *fmt, va_list ap);
void prom_fprintf (prom_handle dev, char *fmt, ...);
void prom_printf (char *fmt, ...);
+void prom_debug (char *fmt, ...);
#endif
void prom_perror (int error, char *filename);
void *prom_claim (void *virt, unsigned int size, unsigned int align);
void prom_release(void *virt, unsigned int size);
void prom_map (void *phys, void *virt, int size);
+void prom_print_available(void);
/* packages and device nodes */