__arch_set_page_nodat - Linux

Symbol: __arch_set_page_nodat

arch/s390/boot/vmem.c

__arch_set_page_nodat((void *)start, (end - start) >> PAGE_SHIFT);

drivers/s390/char/sclp_mem.c

__arch_set_page_nodat((void *)__va(addr), block_size >> PAGE_SHIFT);