Searched refs:l2_tsc_deadline (Results 1 – 1 of 1) sorted by relevance
75 u64 l1_tsc_deadline, l2_tsc_deadline; in l1_guest_code() local136 l2_tsc_deadline = l2_vmx_pt_start + in l1_guest_code()144 l2_vmx_pt_finish, l2_tsc_deadline); in l1_guest_code()