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

  /src/sys/arch/xen/include/
xenpmap.h 43 void xpq_queue_invlpg(vaddr_t);
  /src/sys/arch/xen/x86/
xenfunc.c 53 xpq_queue_invlpg(addr);
x86_xpmap.c 331 xpq_queue_invlpg(vaddr_t va) function

Completed in 18 milliseconds