问个WDK编译的静态链接库被VC调用的的问题？

用WDK编译了一个静态链接库，但是用VC使用链接是老报：unresolved external symbol 的错误。
我用dumpbin 看了下：结果用VC和WDK相同的函数，编译出的静态库里的名称是不同的。
比如如下函数：
void my_print(int num)
{
   printf("num=%d\n",num);
}
编译成静态库。
使用VC编译，用dumpbin /linkermember查看名称为    "_my_print"
而使用wdk编译，用dumpbin /linkermember查看名称为 "_my_print@4"

这是什么原因？网上查了下@4，表示该函数的调用参数的总字节数。这个问题解决？