Searched defs:dpte_ptr (Results 1 – 2 of 2) sorted by relevance
80 __u32 dpte_ptr; /* 0xFFFFFFFF for our purposes */ member
70 __u32 dpte_ptr; /* 0xFFFFFFFF for our purposes */ member