dtrace discuss - Dec 2008 - xc_capture_cpus() and sysinfo:::xcalls

I''ve been looking at the probe points for sysinfo:::xcalls and
I''m
wondering if the point for xc_capture_cpus() is correct.

There''s two points for this probe on x86, in xc_capture_cpus() and 
xc_common(). The latter fires syinfo:::xcalls for each invocation of 
send_dirint(). But xc_capture_cpus() fires only once early in the 
function and doesn''t account for possible multiple calls of 
send_dirint(). Which seems incorrect to me.

Does this make sense or am I missing something ?

Thanks,
Rafael