mpc3_mpc_init_single_inst
.mpc_init_single_inst = mpc3_mpc_init_single_inst,
void mpc3_mpc_init_single_inst(
.mpc_init_single_inst = mpc3_mpc_init_single_inst,
.mpc_init_single_inst = mpc3_mpc_init_single_inst,