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