ics_opal_mangle_server   54 arch/powerpc/sysdev/xics/ics-opal.c 	server = ics_opal_mangle_server(server);
ics_opal_mangle_server   82 arch/powerpc/sysdev/xics/ics-opal.c 	int server = ics_opal_mangle_server(xics_default_server);
ics_opal_mangle_server  134 arch/powerpc/sysdev/xics/ics-opal.c 	server = ics_opal_mangle_server(wanted_server);