请问名称不一样编译器怎么知道这是同一个函数的？

os_core.c文件，
void  OSSched (void)调用的是OS_TASK_SW();但定位到
os_cpu_a.s文件，
名称却变成了 OSCtxSw();
我在想名称不一样编译器怎么知道这是同一个函数的？
OS_TASK_SW(); = OSCtxSw();？？？？？