Did you mean (for openbmc):__c_kernel_clock_gettime64 __kernel_clock_gettime
Your search defs:__kernel_clock_gettime64 did not match any files. Suggestions: