Searched refs:VMCS_VPID (Results 1 – 3 of 3) sorted by relevance
117 #define VMCS_VPID 0x00000000 macro
579 db_printf("VPID: %lu\n", vmcs_read(VMCS_VPID)); in DB_SHOW_COMMAND()
1181 error += vmwrite(VMCS_VPID, vpid); in vmx_vcpu_init()