Home
last modified time | relevance | path

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

/xen/xen/arch/arm/
A Ddomain.c115 p->arch.cntkctl = READ_SYSREG32(CNTKCTL_EL1); in ctxt_switch_from()
274 WRITE_SYSREG32(n->arch.cntkctl, CNTKCTL_EL1); in ctxt_switch_to()
A Dvtimer.c40 (READ_SYSREG(CNTKCTL_EL1) & CNTKCTL_EL1_##user_gate) )
/xen/xen/include/asm-arm/
A Dcpregs.h294 #define CNTKCTL_EL1 CNTKCTL macro

Completed in 6 milliseconds