mpc1_mpc_init_single_inst
.mpc_init_single_inst = mpc1_mpc_init_single_inst,
.mpc_init_single_inst = mpc1_mpc_init_single_inst,
void mpc1_mpc_init_single_inst(
.mpc_init_single_inst = mpc1_mpc_init_single_inst,
mpc1_mpc_init_single_inst(mpc, mpcc_id);