Searched refs:l1_tsc_deadline (Results 1 – 1 of 1) sorted by relevance
73 u64 l1_tsc_deadline, l2_tsc_deadline; in l1_guest_code() local131 l1_tsc_deadline = l1_vmx_pt_start + in l1_guest_code()141 GUEST_SYNC_ARGS(2, l1_vmx_pt_finish, l1_tsc_deadline, in l1_guest_code()