SMBIOS_END
p < (uint8_t *)ISA_HOLE_VADDR(SMBIOS_END); p+= 16) {
p <= (uint8_t *)ISA_HOLE_VADDR(SMBIOS_END -
p <= (uint8_t *)ISA_HOLE_VADDR(SMBIOS_END - 6); p++)
va < (uint8_t *)ISA_HOLE_VADDR(SMBIOS_END); va+= 16) {
va <= (uint8_t *)ISA_HOLE_VADDR(SMBIOS_END -
va <= (uint8_t *)ISA_HOLE_VADDR(SMBIOS_END - 6); va++)