diff options
author | Michael Pratt <mpratt@google.com> | 2019-12-17 13:57:39 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2019-12-17 14:18:54 -0800 |
commit | 91f1ac731933ac1fe0f9ef30f4c9d06fa4031021 (patch) | |
tree | 68adb642038917b9d4546e830dcb9f861dea7c0a /benchmarks | |
parent | 3ab90ecf256248d4147694df3a884572c1e8074b (diff) |
Mark enableCpuidFault nosplit
This is called after fork, so it must be nosplit.
Updates #1408
PiperOrigin-RevId: 286053054
Diffstat (limited to 'benchmarks')
0 files changed, 0 insertions, 0 deletions