HomeSort by: relevance | last modified time | path
    Searched refs:xpq_queue_pt_switch (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/arch/xen/include/
xenpmap.h 45 void xpq_queue_pt_switch(paddr_t);
  /src/sys/arch/xen/x86/
xenfunc.c 149 xpq_queue_pt_switch(xpmap_ptom_masked(val));
x86_xpmap.c 254 xpq_queue_pt_switch(paddr_t pa) function in typeref:typename:void
887 xpq_queue_pt_switch(xpmap_ptom_masked(new_pgd - KERNBASE));

Completed in 11 milliseconds