Searched defs:gcr3_tbl_info (Results 1 – 1 of 1) sorted by relevance
467 struct gcr3_tbl_info { struct468 u64 *gcr3_tbl; /* Guest CR3 table */469 int glx; /* Number of levels for GCR3 table */470 u32 pasid_cnt; /* Track attached PASIDs */471 u16 domid; /* Per device domain ID */