#!/usr/bin/stap probe kernel.function("split_huge_page") { printf("%-25s: %s (%d) split_huge_page", ctime(gettimeofday_s()), execname(), pid()) }