#9391 NORM 1.5-F11: HPET address in ACPI table is not valid

[Zarro Boogs per Child]

#9391: HPET address in ACPI table is not valid
-------------------------------------------+--------------------------------
           Reporter:  cjb                  |       Owner:  wmb at firmworks.com
               Type:  defect               |      Status:  new              
           Priority:  normal               |   Milestone:  1.5-F11          
          Component:  ofw - open firmware  |     Version:  not specified    
         Resolution:                       |    Keywords:                   
        Next_action:  never set            |    Verified:  0                
Deployment_affected:                       |   Blockedby:                   
           Blocking:                       |  
-------------------------------------------+--------------------------------

Comment(by dsaxena):

 We can't actually gracefully trap this condition due to the way mapping
 the HPET works on X86_64, but it looks like in that case we BUG() in a
 faulty remap case, so will leave kernel driver code as is. Crashing is a
 good way to notice a bug. :)

-- 
Ticket URL: <http://dev.laptop.org/ticket/9391#comment:2>
One Laptop Per Child <http://laptop.org/>
OLPC bug tracking system