Searched refs:halter_tpr (Results 1 – 1 of 1) sorted by relevance
65 uint32_t halter_tpr; member108 data->halter_tpr = xapic_read_reg(APIC_TASKPRI); in halter_guest_code()223 *params->pipis_rcvd, params->data->halter_tpr, in vcpu_thread()485 data->halter_tpr, data->halter_ppr, data->halter_lvr, in main()