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