Searched refs:get_tpr_stack (Results 1 – 1 of 1) sorted by relevance
43 uint32_t get_tpr_stack; member438 patch_call(x86_cpu, ip + 1, handlers->get_tpr_stack); in do_patch_instruction()808 VMSTATE_UINT32(get_tpr_stack, VAPICHandlers),