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