Is there any way to time a part of the kernel code? Whatever I have found online, either uses CPU timer or GPU timer (clgeteventinfo). But they are to be used inside the host code if I understand...