Home
last modified time | relevance | path

Searched refs:CHECK_GPGD_MASK (Results 1 – 1 of 1) sorted by relevance

/linux-3.4.99/drivers/lguest/
Dpage_tables.c67 #define CHECK_GPGD_MASK _PAGE_PRESENT macro
70 #define CHECK_GPGD_MASK _PAGE_TABLE macro
287 if ((pgd_flags(gpgd) & ~CHECK_GPGD_MASK) || in check_gpgd()
329 gpgd = __pgd(CHECK_GPGD_MASK); in demand_page()