pic_gio32_arb_config
int pic_gio32_arb_config(int, uint32_t);
return (pic_gio32_arb_config(slot, flags));
extern int pic_gio32_arb_config(int, uint32_t);