« Previous | Next » 

Revision 67b8f419

ID67b8f419575b9e4521f0fa59b7a0faee401502ca

Added by Juan Quintela over 14 years ago

x86: fpus is uint16_t not unsigned int

We save more that fpus on that 16 bits (fpstt), we need an additional field

Signed-off-by: Juan Quintela <>
Signed-off-by: Anthony Liguori <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences