Home
last modified time | relevance | path

Searched defs:vpid (Results 1 – 4 of 4) sorted by relevance

/hypervisor/arch/x86/
A Dmmu.c104 static inline void local_invvpid(uint64_t type, uint16_t vpid, uint64_t gva) in local_invvpid()
123 void flush_vpid_single(uint16_t vpid) in flush_vpid_single()
/hypervisor/include/arch/x86/asm/
A Dmmu.h69 uint32_t vpid : 16; member
/hypervisor/include/arch/x86/asm/guest/
A Dvcpu.h258 uint16_t vpid; member
A Dnested.h123 uint16_t vpid; member

Completed in 10 milliseconds