Symbol: PLKMI_WRITE
sys/dev/ic/pl050.c
118
PLKMI_WRITE(sc, KMICR, cr);
sys/dev/ic/pl050.c
132
PLKMI_WRITE(sc, KMICR, cr);
sys/dev/ic/pl050.c
160
PLKMI_WRITE(sc, KMICR, KMIEN);
sys/dev/ic/pl050.c
91
PLKMI_WRITE(sc, KMIDATA, byte & 0xff);