HelenOS sources

CNTV_CTL_IMASK_FLAG  105 kernel/arch/arm64/src/interrupt.c 	CNTV_CTL_EL0_write(cntv_ctl | CNTV_CTL_IMASK_FLAG);
CNTV_CTL_IMASK_FLAG  121 kernel/arch/arm64/src/interrupt.c 	    (cntv_ctl & ~CNTV_CTL_IMASK_FLAG) | CNTV_CTL_ENABLE_FLAG);