Searched refs:amd64_pml4e_t (Results 1 - 2 of 2) sorted by relevance

/freebsd-13-stable/lib/libkvm/
H A Dkvm_amd64.h40 typedef uint64_t amd64_pml4e_t; typedef
54 #define AMD64_NPML4EPG (AMD64_PAGE_SIZE / sizeof(amd64_pml4e_t))
H A Dkvm_amd64.c62 amd64_pml4e_t *PML4;
116 amd64_pml4e_t *PML4;
175 amd64_pml4e_t pml4e;

Completed in 57 milliseconds