Searched refs:TCR_GET_WP (Results 1 – 2 of 2) sorted by relevance
561 #define TCR_GET_WP(tcr) ((((tcr) & 0xC0000000) >> 30) | \ macro564 #define TCR_GET_WP(tcr) (((tcr) & 0xC0000000) >> 30) macro
553 u32 period = TCR_GET_WP(vcpu->arch.tcr); in watchdog_next_timeout()
