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

/barrelfish-master/usr/arrakismon/
H A Dguest.h80 lpaddr_t pml4_pa; member in struct:guest

Completed in 77 milliseconds