Searched refs:l2_tsc_deadline (Results 1 – 1 of 1) sorted by relevance
74 u64 l1_tsc_deadline, l2_tsc_deadline; in l1_guest_code() local135 l2_tsc_deadline = l2_vmx_pt_start + in l1_guest_code()143 l2_vmx_pt_finish, l2_tsc_deadline); in l1_guest_code()