Never used CUDA, but I'm guessing these map to the same underlying stuff as timestamp queries in graphics APIs, yes?