Home	Sort by: relevance | last modified time | path

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

    Searched defs:xpq_queue_invlpg (Results 1 - 1 of 1) sorted by relevancy

/src/sys/arch/xen/x86/
x86_xpmap.c	331 xpq_queue_invlpg(vaddr_t va) function in typeref:typename:void

Completed in 12 milliseconds

Indexes created Wed Oct 15 07:09:58 GMT 2025