43 struct sbd {  struct
45 	enum sbd_machine_type machine;  argument
53 	const struct sbdiodevdesc *sbdiodevs;  argument
56 	phys_ram_seg_t mem_clseters[VM_PHYSSEG_MAX];
57 	size_t mem_size; /* total size of memory */
59 	void (*mem_init)(void *, void *);
62 	void (*cache_config)(void);
65 	void (*wbflush)(void);
68 	void (*intr_init)(void);
69 	void *(*intr_establish)(int, int (*)(void *), void *);
70 	void (*intr_disestablish)(void *);
71 	void (*intr)(int, vaddr_t, uint32_t);
74 	void (*initclocks)(void);
77 	void (*consinit)(void);
78 	int (*ipl_bootdev)(void);
79 	void (*reboot)(void);
80 	void (*poweroff)(void);
81 	void (*ether_addr)(uint8_t *);