Symbol: SXIMMC_MINT
sys/dev/fdt/sximmc.c
488
mint = MMC_READ(sc, SXIMMC_MINT);
sys/dev/fdt/sximmc.c
494
MMC_WRITE(sc, SXIMMC_MINT, mint);
sys/dev/fdt/sximmc.c
728
printf("MINT: 0x%08x\n", MMC_READ(sc, SXIMMC_MINT));