Searched refs:cntkctl (Results 1 – 3 of 3) sorted by relevance
41 uint32_t cntkctl; member
122 uint64_t cntkctl = 0; in stmm_enter_user_mode() local125 cntkctl = read_cntkctl(); in stmm_enter_user_mode()126 write_cntkctl(cntkctl | CNTKCTL_PL0PCTEN); in stmm_enter_user_mode()139 write_cntkctl(cntkctl); in stmm_enter_user_mode()
487 DEFINE_REG_READ_FUNC_(cntkctl, uint32_t, cntkctl_el1) in DEFINE_U32_REG_READWRITE_FUNCS()488 DEFINE_REG_WRITE_FUNC_(cntkctl, uint32_t, cntkctl_el1) in DEFINE_U32_REG_READWRITE_FUNCS()