Did you mean (for openjdk7): kernel_time   __kernel_cmpxchg_t  

Your search defs:KERNEL_VM_TARGETS did not match any files.
Suggestions: