Constant panda_sys::RR_callsite_id_RR_CALLSITE_RDTSC

source · 
pub const RR_callsite_id_RR_CALLSITE_RDTSC: RR_callsite_id = 3;