Searched refs:pgd_addr (Results 1 – 1 of 1) sorted by relevance
80 void *pgd_addr = __va(read_cr3()); in xo1_do_sleep() local85 __asm__("movl %0,%%eax" : : "r" (pgd_addr)); in xo1_do_sleep()