Searched refs:amd64_pml4e_t (Results 1 – 2 of 2) sorted by relevance
38 typedef uint64_t amd64_pml4e_t; typedef52 #define AMD64_NPML4EPG (AMD64_PAGE_SIZE / sizeof(amd64_pml4e_t))
59 amd64_pml4e_t *PML4;113 amd64_pml4e_t *PML4; in _amd64_initvtop()172 amd64_pml4e_t pml4e; in _amd64_vatop()