Function get_interrupt_ctimer1_wake 

pub fn get_interrupt_ctimer1_wake() -> u32

Get current perf counter snapshot

If the perf feature is not enabled, this always returns zero