Symbol: MMIO_SPTE_GEN_HIGH_END