I didn't think about the vDSO, and that it's used for `clock_gettime`, so thank you for the information and correction!

It's really hard for me to get a feel of what is okay to use, what is the standard way to do something without actually implementing everything and seeing how it behaves, so information like this help me a lot.