从全局内联汇编调用静态函数

Question

我正在尝试定义一个没有任何序言/结尾的函数，一个“着陆地址”，这样它就可以调用一个由编译器正确管理的内部函数（对调用者清理环境很有用）。

我发现我可以使用内联汇编创建一个全局标签，但我无法在同一个文件中调用另一个函数。 当我按照此处列出的方式编译代码时，我收到警告：

警告：“handle_vmexit”[/Code/hyper/kernel/hyper.ko] 未定义！

当我删除静态修饰符时，没有任何问题。

所以我的问题是，为什么内联程序集在静态时无法与 handle_vmexit 链接，我怎样才能让它调用静态 handle_vmexit。

这是相关代码：

static void handle_vmexit(void){
    ...
}

__asm__(".handle_vmexit: \n\t"
    "call handle_vmexit"
);

Answer 1

当 C 函数被声明为static时，它对其他翻译单元不可见，因此 C 编译器假设它可以看到它的每一次使用并根据该假设做出优化决策。 如果该函数未被使用，编译器可能无法完全为它生成代码； 如果它只被使用一次，它可能被内联到它唯一的调用者中，而不是单独发出它的符号（GCC 选项-finline-functions-called-once ），等等。 编译器甚至可能决定内联所有调用，即使您自己不使用inline关键字（选项-finline-functions ）也是如此。*

但是，GCC 无法检测内联汇编中的用法； 汇编代码对 GCC 是完全不透明的。 无论如何，要强制编译器为此函数单独发出代码，请使用__attribute__((used)) ； 该属性是专门为此目的添加的。 手册对该属性的描述如下：

used

此属性附加到函数，意味着必须为该函数发出代码，即使看起来该函数未被引用也是如此。 这很有用，例如，当仅在内联汇编中引用函数时。

当应用于 C++ 类模板的成员函数时，该属性还意味着如果类本身被实例化，则该函数也被实例化。

---

* 严格来说，即使函数的代码是单独发出的，编译器也可以完全不在生成的汇编文件中声明通常的命名符号，而是通过一些不透明的、人为生成的标识符来引用函数，比如它与标签有关。 但我认为 GCC 不太可能利用这种自由，特别是如果应用此处给出的解决方案。