Home
last modified time | relevance | path

Searched refs:flush_vpid_single (Results 1 – 4 of 4) sorted by relevance

/hypervisor/include/arch/x86/asm/
A Dmmu.h159 void flush_vpid_single(uint16_t vpid);
/hypervisor/arch/x86/
A Dmmu.c123 void flush_vpid_single(uint16_t vpid) in flush_vpid_single() function
/hypervisor/arch/x86/guest/
A Dvirq.c393 flush_vpid_single(arch->vpid); in acrn_handle_pending_request()
A Dnested.c1414 flush_vpid_single(vmcs12->vpid); in sanitize_l2_vpid()

Completed in 8 milliseconds