Searched refs:TCR_GET_WP (Results 1 – 2 of 2) sorted by relevance
549 #define TCR_GET_WP(tcr) ((((tcr) & 0xC0000000) >> 30) | \ macro552 #define TCR_GET_WP(tcr) (((tcr) & 0xC0000000) >> 30) macro
579 u32 period = TCR_GET_WP(vcpu->arch.tcr); in watchdog_next_timeout()
Completed in 12 milliseconds