Searched refs:vtd_fpte_rsvd_large (Results 1 – 1 of 1) sorted by relevance
1916 static uint64_t vtd_fpte_rsvd_large[VTD_FPTE_RSVD_LEN]; variable1936 rsvd_mask = vtd_fpte_rsvd_large[level]; in vtd_flpte_nonzero_rsvd()4646 vtd_fpte_rsvd_large[2] = VTD_FPTE_LPAGE_L2_RSVD_MASK(s->aw_bits); in vtd_init()4647 vtd_fpte_rsvd_large[3] = VTD_FPTE_LPAGE_L3_RSVD_MASK(s->aw_bits); in vtd_init()