Home | History | Annotate | Download | only in bios

Lines Matching full:reserved1

1318 	uint32_t                             reserved1       : 31;   /* Must be 0 */
1332 	uint8_t                              reserved1;              /* Reserved */
1401 	uint32_t                             reserved1       : 31;
1453     uint32_t    reserved1;
1472     uint16_t    reserved1;
1753     fadt->reserved1 = 0;
1836         srat->reserved1=1;