SET_ACTIVATION 4274 arch/ia64/kernel/perfmon.c SET_ACTIVATION(ctx); SET_ACTIVATION 6065 arch/ia64/kernel/perfmon.c SET_ACTIVATION(ctx);