To use a different name than the name in Linux kernel. Change-Id: I44d10279195dfc9cfdc4788914b7d65b78292921 Fujitsu: POSTK_DEBUG_ARCH_DEP_40
To use a different name than the name in Linux kernel. Change-Id: I44d10279195dfc9cfdc4788914b7d65b78292921 Fujitsu: POSTK_DEBUG_ARCH_DEP_40