22 	//Set reserved areas to zero.  in generate_section_dmar_generic()
23 	UINT64 *reserved = (UINT64 *)(bytes + 16);  in generate_section_dmar_generic()  local
24 	*reserved = 0;  in generate_section_dmar_generic()
25 	*(reserved + 1) = 0;  in generate_section_dmar_generic()
48 	//Set reserved areas to zero.  in generate_section_dmar_vtd()
50 		*(bytes + 36 + i) = 0; //Reserved bytes 36-47.  in generate_section_dmar_vtd()
53 	UINT32 *reserved = (UINT32 *)(fault_record);  in generate_section_dmar_vtd()  local
54 	*reserved &= ~0xFFF;	     //First 12 bits of fault record.  in generate_section_dmar_vtd()
55 	reserved = (UINT32 *)(fault_record + 8);  in generate_section_dmar_vtd()
56 	*reserved &= ~0x1FFF0000;    //Bits 80-92 of fault record.  in generate_section_dmar_vtd()
74 	//Set reserved areas to zero.  in generate_section_dmar_iommu()
76 		*(bytes + 1 + i) = 0; //Reserved bytes 1 to 7.  in generate_section_dmar_iommu()
78 	UINT64 *reserved = (UINT64 *)(bytes + 24);  in generate_section_dmar_iommu()  local
79 	*reserved = 0;		       //Reserved bytes 24-31.  in generate_section_dmar_iommu()
81 		*(bytes + 48 + i) = 0; //Reserved bytes 48-63.  in generate_section_dmar_iommu()