Searched refs:vtd_spte_rsvd (Results 1 – 1 of 1) sorted by relevance
1078 static uint64_t vtd_spte_rsvd[VTD_SPTE_RSVD_LEN]; variable1101 rsvd_mask = vtd_spte_rsvd[level]; in vtd_slpte_nonzero_rsvd()4139 vtd_spte_rsvd[0] = ~0ULL; in vtd_init()4140 vtd_spte_rsvd[1] = VTD_SPTE_PAGE_L1_RSVD_MASK(s->aw_bits, in vtd_init()4142 vtd_spte_rsvd[2] = VTD_SPTE_PAGE_L2_RSVD_MASK(s->aw_bits); in vtd_init()4143 vtd_spte_rsvd[3] = VTD_SPTE_PAGE_L3_RSVD_MASK(s->aw_bits); in vtd_init()4144 vtd_spte_rsvd[4] = VTD_SPTE_PAGE_L4_RSVD_MASK(s->aw_bits); in vtd_init()4152 vtd_spte_rsvd[1] &= ~VTD_SPTE_SNP; in vtd_init()