diff options
| author | Dean Deng <deandeng@google.com> | 2020-07-23 16:22:41 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-07-23 16:25:34 -0700 |
| commit | 8fed97794edcbaa7069dbd39604030e4fbb6891c (patch) | |
| tree | 2bfacd76be57fd91a279f256c35c73ba640db164 /Makefile | |
| parent | 3a2fac0ab9e24382c8e19e6cf8170ba01e78930c (diff) | |
Add task work mechanism.
Like task_work in Linux, this allows us to register callbacks to be executed
before returning to userspace. This is needed for kcov support, which requires
coverage information to be up-to-date whenever we are in user mode. We will
provide coverage data through the kcov interface to enable coverage-directed
fuzzing in syzkaller.
One difference from Linux is that task work cannot queue work before the
transition to userspace that it precedes; queued work will be picked up before
the next transition.
PiperOrigin-RevId: 322889984
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions