Searched defs:spmd (Results 1 - 1 of 1) sorted by relevance
| /linux-4.1.27/drivers/lguest/ | ||
| H A D | page_tables.c | 309 pmd_t *spmd; find_spte() local 588 static void release_pmd(pmd_t *spmd) release_pmd() argument 938 pmd_t *spmd; __guest_set_pte() local |
Completed in 50 milliseconds