Searched refs:cntkctl (Results 1 – 1 of 1) sorted by relevance
2077 uint64_t cntkctl; /* One wants to use 32 bits, but "mrs" prefers it this way */ in _enable_timebase_event_stream() local2083 __asm__ volatile ("mrs %0, CNTKCTL_EL1" : "=r"(cntkctl)); in _enable_timebase_event_stream()2085 cntkctl |= (bit_index << CNTKCTL_EL1_EVENTI_SHIFT); in _enable_timebase_event_stream()2086 cntkctl |= CNTKCTL_EL1_EVNTEN; in _enable_timebase_event_stream()2087 cntkctl |= CNTKCTL_EL1_EVENTDIR; /* 1->0; why not? */ in _enable_timebase_event_stream()2094 cntkctl |= (CNTKCTL_EL1_PL0PCTEN | CNTKCTL_EL1_PL0VCTEN); in _enable_timebase_event_stream()2097 __builtin_arm_wsr64("CNTKCTL_EL1", cntkctl); in _enable_timebase_event_stream()