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

/freebsd-10.2-release/sys/i386/xen/
H A Dxen_machdep.c892 vm_paddr_t IdlePTDma[4]; local
894 vm_paddr_t IdlePTDma[1]; local
931 IdlePTDma[i] = VTOM(IdlePTD + i*PAGE_SIZE);
1116 xen_queue_pt_update(IdlePTDma + KPTDI*sizeof(vm_paddr_t),

Completed in 39 milliseconds