On Thu, Mar 23, 2017 at 10:25 AM, Thomas Garnier <thgarnie at google.com> wrote: > Implement specific usage of verify_pre_usermode_state for user-mode > returns for x86. Signed-off-by: Thomas Garnier <thgarnie at google.com> Not sure why it was not there anymore. -- Thomas