Searched refs:halter_tpr (Results 1 – 1 of 1) sorted by relevance
63 uint32_t halter_tpr; member106 data->halter_tpr = xapic_read_reg(APIC_TASKPRI); in halter_guest_code()222 *params->pipis_rcvd, params->data->halter_tpr, in vcpu_thread()495 data->halter_tpr, data->halter_ppr, data->halter_lvr, in main()