Searched defs:glx (Results 1 – 2 of 2) sorted by relevance
562 int glx; /* Number of levels for GCR3 table */ member
1615 u64 glx = domain->glx; in set_dte_entry() local