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