+
+#if defined(CONFIG_TZ_ICCC)
+ if (selinux_enabled && selinux_enforcing) {
+ if (0 != Iccc_SaveData_Kernel(SELINUX_STATUS,0x0)) {
+ printk(KERN_ERR "%s: Iccc_SaveData_Kernel failed, type = %x, value =%x\n", __func__,SELINUX_STATUS,0x0);
+ }
+ }
+ else {
+ if (0 != Iccc_SaveData_Kernel(SELINUX_STATUS,0x1)) {
+ printk(KERN_ERR "%s: Iccc_SaveData_Kernel failed, type = %x, value =%x\n", __func__,SELINUX_STATUS,0x1);
+ }
+ }
+#endif
+