Symbol: AND4
sys/dev/tpm/tpm_crb.c
283
AND4(sc, TPM_CRB_INT_ENABLE, ~TPM_CRB_INT_ENABLE_BIT);
sys/dev/tpm/tpm_tis_core.c
365
AND4(sc, TPM_INT_STS, TPM_READ_4(sc->dev, TPM_INT_STS));