SCTLR_EL1_CP15BEN  516 arch/arm64/kernel/armv8_deprecated.c 		sysreg_clear_set(sctlr_el1, 0, SCTLR_EL1_CP15BEN);
SCTLR_EL1_CP15BEN  518 arch/arm64/kernel/armv8_deprecated.c 		sysreg_clear_set(sctlr_el1, SCTLR_EL1_CP15BEN, 0);