GAnthony/sysbios-rpmsg — comment on commit 26d6a0e331208f029f53af6a114ba4e23a79ebc7
File: src/ti/ipc/family/omap4430/InterruptM3.c line 46
By cringthis:

Why switch from the "public" MultiProc header (ti/ipc/MultiProc.h) to the BIOS-specific Multiproc header (ti/sdo/utils/MultiProc.h)?

Maybe it was to get the BIOS-specific [internal!] ti_sdo_ipc_MultiProc_numProcessors symbol on line 149? Can we instead use the public MultiProc_getNumProcessors() fxn to do that?