Searched refs:P4Tmap (Results 1 – 2 of 2) sorted by relevance
292 #define P4Tmap ((pt_entry_t *)(addr_P4Tmap)) macro
1489 return (P4Tmap + ((va >> PAGE_SHIFT) & mask)); in vtopte()