/* These functions are just like the above two, except they access the Guest page tables. Hence they return a Guest address.  */
static unsigned long gpgd_addr(struct lg_cpu *cpu, unsigned long vaddr)
/* These functions are just like the above two, except they access the Guest page tables. Hence they return a Guest address.  */
static unsigned long gpgd_addr(struct lg_cpu *cpu, unsigned long vaddr)
{
	unsigned int index = vaddr >> (PGDIR_SHIFT);
	return cpu->lg->pgdirs[cpu->cpu_pgd].gpgdir + index * sizeof(pgd_t);
}