Searched refs:HOST_RSP (Results 1 – 2 of 2) sorted by relevance
290 HOST_RSP = 0x00006c14, enumerator
822 FIELD(HOST_RSP, host_rsp),7998 vmcs_readl(HOST_RIP), vmcs_readl(HOST_RSP)); in dump_vmcs()8647 : : "c"(vmx), "d"((unsigned long)HOST_RSP), in vmx_vcpu_run()