Searched refs:dpte (Results 1 – 2 of 2) sorted by relevance
64 real_addr_t dpte; /* DPTE pointer */ member
28 far_ptr_t dpte; member