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