sfb_cnattach
sfb_cnattach(KV(0x1c0000000) + 0x02000000);
extern int sfb_cnattach(tc_addr_t);
sfb_cnattach(KV(0x1e0000000) + 0x02000000);
extern int sfb_cnattach(tc_addr_t);
extern void sfb_cnattach(tc_addr_t);
{ "PMAGB-BA", sfb_cnattach },
void sfb_cnattach(tc_addr_t);
{ "PMAGB-BA", sfb_cnattach },
int sfb_cnattach(tc_addr_t);