Searched refs:cntkctl (Results 1 – 1 of 1) sorted by relevance
222 uint32_t cntkctl; in setup_user_access() local224 cntkctl = get_el1(cntkctl); in setup_user_access()225 cntkctl &= ~(GT_CNTKCTL_PL0PTEN | GT_CNTKCTL_PL0VTEN | in setup_user_access()228 cntkctl |= GT_CNTKCTL_PL0PCTEN; in setup_user_access()229 cntkctl &= ~GT_CNTKCTL_PL0VCTEN; in setup_user_access()231 cntkctl |= GT_CNTKCTL_PL0VCTEN; in setup_user_access()232 cntkctl &= ~GT_CNTKCTL_PL0PCTEN; in setup_user_access()234 set_el1(cntkctl, cntkctl); in setup_user_access()