Searched defs:watch_userfaultfd (Results 1 – 1 of 1) sorted by relevance
| /php-src/sapi/phpdbg/ | ||
| H A D | phpdbg.h | 249 int watch_userfaultfd; /* userfaultfd(2) handler, 0 if unused */ variable |
Completed in 6 milliseconds
Searched defs:watch_userfaultfd (Results 1 – 1 of 1) sorted by relevance
| /php-src/sapi/phpdbg/ | ||
| H A D | phpdbg.h | 249 int watch_userfaultfd; /* userfaultfd(2) handler, 0 if unused */ variable |
Completed in 6 milliseconds
