Constant PERF_RECORD_MISC_GUEST_KERNEL 

pub const PERF_RECORD_MISC_GUEST_KERNEL: u32 = 4;