sicr0             172 drivers/misc/mic/host/mic_x100.c 	u32 sicr0 = MIC_X100_SBOX_BASE_ADDRESS + MIC_X100_SBOX_SICR0;
sicr0             173 drivers/misc/mic/host/mic_x100.c 	u32 reg = mic_mmio_read(&mdev->mmio, sicr0);
sicr0             174 drivers/misc/mic/host/mic_x100.c 	mic_mmio_write(&mdev->mmio, reg, sicr0);