Searched refs:watch_userfaultfd (Results 1 – 3 of 3) sorted by relevance
242 if (PHPDBG_G(watch_userfaultfd)) { in phpdbg_change_watchpoint_access()256 ioctl(PHPDBG_G(watch_userfaultfd), UFFDIO_REGISTER, ®); in phpdbg_change_watchpoint_access()263 ioctl(PHPDBG_G(watch_userfaultfd), UFFDIO_UNREGISTER, ®); in phpdbg_change_watchpoint_access()328 ioctl(globals->watch_userfaultfd, UFFDIO_WRITEPROTECT, &unprotect);1137 if (PHPDBG_G(watch_userfaultfd)) {1489 PHPDBG_G(watch_userfaultfd) = syscall(SYS_userfaultfd, flags);1490 if (PHPDBG_G(watch_userfaultfd) < 0) {1491 PHPDBG_G(watch_userfaultfd) = 0;1500 PHPDBG_G(watch_userfaultfd) = 0;1518 if (PHPDBG_G(watch_userfaultfd)) {[all …]
249 int watch_userfaultfd; /* userfaultfd(2) handler, 0 if unused */ variable
147 pg->watch_userfaultfd = 0; in php_phpdbg_globals_ctor()1464 if (!PHPDBG_G(watch_userfaultfd)) in main()
Completed in 15 milliseconds