Home	Sort by: relevance | last modified time | path

Full Search in project(s): src Definition Symbol File Path History   | | Help

    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 in typeref:typename:void

Completed in 14 milliseconds

Indexes created Mon Oct 13 21:09:55 GMT 2025