PID_FMT
write_debugfs(PID_FMT, getpid(), (uint64_t)one_page,
write_debugfs(PID_FMT, getpid(), (uint64_t)one_page,
write_debugfs(PID_FMT, getpid(), (uint64_t)page_area,
write_debugfs(PID_FMT, getpid(), (uint64_t)split_addr,