#ifndef _EWS4800MIPS_SBDVAR_H_
#define _EWS4800MIPS_SBDVAR_H_
#include <sys/kcore.h>
#include <machine/autoconf.h>
#include <machine/vmparam.h>
#include <machine/sbd.h>
#include <machine/sbdiovar.h>
struct sbd {
enum sbd_machine_type machine;
char name[32];
int cpu_clock;
const char * const *mainbusdevs;
const struct sbdiodevdesc *sbdiodevs;
phys_ram_seg_t mem_clseters[VM_PHYSSEG_MAX];
size_t mem_size;
void (*mem_init)(void *, void *);
void (*cache_config)(void);
void (*wbflush)(void);
void (*intr_init)(void);
void *(*intr_establish)(int, int (*)(void *), void *);
void (*intr_disestablish)(void *);
void (*intr)(int, vaddr_t, uint32_t);
void (*initclocks)(void);
void (*consinit)(void);
int (*ipl_bootdev)(void);
void (*reboot)(void);
void (*poweroff)(void);
void (*ether_addr)(uint8_t *);
};
#define SBD_DECL(x) \
void x ## _cache_config(void); \
void x ## _wbflush(void); \
void x ## _mem_init(void *, void *); \
void x ## _intr_init(void); \
void *x ## _intr_establish(int, int (*)(void *), void *); \
void x ## _intr_disestablish(void *); \
void x ## _intr(int, vaddr_t, uint32_t); \
void x ## _initclocks(void); \
void x ## _consinit(void); \
int x ## _ipl_bootdev(void); \
void x ## _reboot(void); \
void x ## _poweroff(void); \
void x ## _ether_addr(uint8_t *); \
#define _SBD_OPS_SET(m, x) platform . x = m ## _ ## x
#define _SBD_OPS_REGISTER_ALL(m) \
_SBD_OPS_SET(m, cache_config); \
_SBD_OPS_SET(m, wbflush); \
_SBD_OPS_SET(m, mem_init); \
_SBD_OPS_SET(m, intr_init); \
_SBD_OPS_SET(m, intr_establish); \
_SBD_OPS_SET(m, intr_disestablish); \
_SBD_OPS_SET(m, intr); \
_SBD_OPS_SET(m, initclocks); \
_SBD_OPS_SET(m, consinit); \
_SBD_OPS_SET(m, ipl_bootdev); \
_SBD_OPS_SET(m, reboot); \
_SBD_OPS_SET(m, poweroff); \
_SBD_OPS_SET(m, ether_addr); \
extern struct sbd platform;
extern int mem_cluster_cnt;
extern phys_ram_seg_t mem_clusters[VM_PHYSSEG_MAX];
void sbd_init(void);
void sbd_set_mainfo(uint32_t);
void sbd_memcluster_init(uint32_t);
void sbd_memcluster_setup(void *, void *);
void sbd_memcluster_check(void);
void tr2_init(void);
void tr2a_init(void);
#endif