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 /pkg/tcpip/hash/jenkins/BUILD | |
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 'pkg/tcpip/hash/jenkins/BUILD')
0 files changed, 0 insertions, 0 deletions