Searched refs:FreeVpid (Results 1 - 6 of 6) sorted by relevance

/fuchsia/zircon/kernel/arch/arm64/hypervisor/
H A Dguest.cpp110 zx_status_t Guest::FreeVpid(uint8_t vpid) { function in class:Guest
H A Dvcpu.cpp139 auto auto_call = fbl::MakeAutoCall([guest, vpid]() { guest->FreeVpid(vpid); });
187 __UNUSED zx_status_t status = guest_->FreeVpid(vpid_);
/fuchsia/zircon/kernel/arch/x86/include/arch/
H A Dhypervisor.h49 zx_status_t FreeVpid(uint16_t vpid);
/fuchsia/zircon/kernel/arch/arm64/include/arch/
H A Dhypervisor.h45 zx_status_t FreeVpid(uint8_t vpid);
/fuchsia/zircon/kernel/arch/x86/hypervisor/
H A Dguest.cpp139 zx_status_t Guest::FreeVpid(uint16_t vpid) { function in class:Guest
H A Dvcpu.cpp632 guest->FreeVpid(vpid);
698 __UNUSED zx_status_t status = guest_->FreeVpid(vpid_);

Completed in 85 milliseconds