Symbol: pai_setctr
arch/s390/kernel/perf_pai.c
580
pai_setctr(page_old, i, pp->kernel_offset, val_k);
arch/s390/kernel/perf_pai.c
586
pai_setctr(page_old, i, 0, val);