Symbol: REFRESH_WR4
sys/arch/arm/acpi/sbsawdt_acpi.c
159
REFRESH_WR4(sc, R_WRR_REG, 0);
sys/arch/arm/acpi/sbsawdt_acpi.c
190
REFRESH_WR4(sc, R_WRR_REG, 0);