[haiku-bugs] Re: [Haiku] #10169: Double Fault Exception on usb boot x86_64

  • From: "umccullough" <trac@xxxxxxxxxxxx>
  • Date: Tue, 12 Nov 2013 19:34:56 -0000

#10169: Double Fault Exception on usb boot x86_64
   Reporter:  korli          |      Owner:  axeld
       Type:  bug            |     Status:  new
   Priority:  normal         |  Milestone:  R1
  Component:  System/Kernel  |    Version:  R1/Development
 Resolution:                 |   Keywords:
 Blocked By:                 |   Blocking:
Has a Patch:  0              |   Platform:  x86-64

Comment (by umccullough):

 Replying to [comment:10 korli]:
 > We probably have to insert __coverity_stack_depth__ in our code. Kernel
 entry points would be kernel threads and syscall entry points.

 I think they also provide a "model file" submission for analysis purposes,
 to direct Coverity how to treat certain functions so you don't have to do
 anything with the code.

 I admit, I have only a vague idea of how it is supposed to work, but I
 have made you an admin if you'd like to investigate and mess with it. You
 can login and then visit this page:

 Further documentation is available here: https://scan.coverity.com/tune
 and here: https://scan.coverity.com/models

Ticket URL: <http://dev.haiku-os.org/ticket/10169#comment:11>
Haiku <http://dev.haiku-os.org>
Haiku - the operating system.

Other related posts: