Files: /kernel/x86_64/tools/kabi_symbols.html