scb_init
scb_init();
void scb_init(void);
paddr_t scb_init (paddr_t);
avail_start = scb_init(avail_start);