?
Current File : //usr/share/systemtap/runtime/linux/autoconf-pagefault_disable.c
#include <linux/uaccess.h>

int foo (int c)
{
        pagefault_disable();
        c ++;
        pagefault_enable();
        return c;
}