/usr/share/systemtap/runtime/linux/ 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;
}