write_debugfs_int
int write_debugfs_int(const char *debugfs_file, int result);
if (write_debugfs_int("powerpc/entry_flush", entry_flush) < 0) {
if (write_debugfs_int("powerpc/rfi_flush", rfi_flush_orig) < 0) {
if (write_debugfs_int("powerpc/entry_flush", entry_flush_orig) < 0) {
if (write_debugfs_int("powerpc/rfi_flush", 0) < 0) {
if (write_debugfs_int("powerpc/rfi_flush", rfi_flush) < 0) {
if (write_debugfs_int("powerpc/rfi_flush", rfi_flush_orig) < 0) {
if (write_debugfs_int("powerpc/entry_flush", entry_flush_orig) < 0) {
if (write_debugfs_int("powerpc/entry_flush", 0) < 0) {
if (write_debugfs_int("powerpc/uaccess_flush", uaccess_flush) < 0) {
if (write_debugfs_int("powerpc/rfi_flush", rfi_flush_orig) < 0) {
if (write_debugfs_int("powerpc/entry_flush", entry_flush_orig) < 0) {
if (write_debugfs_int("powerpc/uaccess_flush", uaccess_flush_orig) < 0) {
if (write_debugfs_int("powerpc/rfi_flush", 0) < 0) {
if (write_debugfs_int("powerpc/entry_flush", 0) < 0) {