Home
last modified time | relevance | path

Searched refs:cntkctl (Results 1 – 1 of 1) sorted by relevance

/freebsd/sys/arm/arm/
H A Dgeneric_timer.c276 uint32_t cntkctl; in setup_user_access() local
278 cntkctl = get_el1(cntkctl); in setup_user_access()
279 cntkctl &= ~(GT_CNTKCTL_PL0PTEN | GT_CNTKCTL_PL0VTEN | in setup_user_access()
282 cntkctl |= GT_CNTKCTL_PL0VCTEN; in setup_user_access()
285 cntkctl |= GT_CNTKCTL_PL0PCTEN; in setup_user_access()
287 set_el1(cntkctl, cntkctl); in setup_user_access()