How to access kallsyms from outside operational system (edk2 SMM driver)?

I'm using EDK2 to write a System Management Mode (SMM) driver. I think it uses "Pure C", given the fact that I'm not able to use standard C library like stdio. Even if I #include it throws me an error undefined reference to "fopen" when I use any function like fopen("/proc/kallsyms", "rb"). In my understanding, this SMM driver (btw I'm writing code inside PiSmmCore.c ) doesn't run on top of the OS, it runs on a different layer (correct me if I'm wrong, please). So given that context, if I can't use fopen, fread etc how can I access files like /proc/kallsyms? Any help would be appreciated (even if it's just to say "hey man, you're wrong in your assumptions, try reading this article" or something). Thank you!