diff options
| author | Jamie Liu <jamieliu@google.com> | 2020-10-08 16:21:14 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-10-08 16:23:04 -0700 |
| commit | 6bad4851d4a04b5f56ade1f8ba68bd9c16471533 (patch) | |
| tree | 4487fa50c8ea63fe79264861d8523777a407dd4d /images/benchmarks/nginx/nginx.conf | |
| parent | 6768e6c59ec252854a1633e184b69dc5723ac3f3 (diff) | |
Implement MEMBARRIER_CMD_PRIVATE_EXPEDITED_RSEQ.
cf. 2a36ab717e8f "rseq/membarrier: Add MEMBARRIER_CMD_PRIVATE_EXPEDITED_RSEQ"
PiperOrigin-RevId: 336186795
Diffstat (limited to 'images/benchmarks/nginx/nginx.conf')
0 files changed, 0 insertions, 0 deletions