Searched refs:vtd_fpte_rsvd (Results 1 – 1 of 1) sorted by relevance
1915 static uint64_t vtd_fpte_rsvd[VTD_FPTE_RSVD_LEN]; variable1938 rsvd_mask = vtd_fpte_rsvd[level]; in vtd_flpte_nonzero_rsvd()4640 vtd_fpte_rsvd[0] = ~0ULL; in vtd_init()4641 vtd_fpte_rsvd[1] = VTD_FPTE_PAGE_L1_RSVD_MASK(s->aw_bits); in vtd_init()4642 vtd_fpte_rsvd[2] = VTD_FPTE_PAGE_L2_RSVD_MASK(s->aw_bits); in vtd_init()4643 vtd_fpte_rsvd[3] = VTD_FPTE_PAGE_L3_RSVD_MASK(s->aw_bits); in vtd_init()4644 vtd_fpte_rsvd[4] = VTD_FPTE_PAGE_L4_RSVD_MASK(s->aw_bits); in vtd_init()