diff options
| author | Jamie Liu <jamieliu@google.com> | 2019-03-29 16:24:29 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2019-03-29 16:25:33 -0700 |
| commit | 26e8d9981fcf6d08199a9fd9c609d9715c3cf37e (patch) | |
| tree | bcf90e47301f46a6d702e8c7fdccf3428ab038bf /WORKSPACE | |
| parent | dcf66133314712b9ba042dbbb289c29d00a2497a (diff) | |
Use kernel.Task.CopyScratchBuffer in syscalls/linux where possible.
PiperOrigin-RevId: 241072126
Change-Id: Ib4d9f58f550732ac4c5153d3cf159a5b1a9749da
Diffstat (limited to 'WORKSPACE')
0 files changed, 0 insertions, 0 deletions