Searched refs:tpr_guest_code (Results 1 – 1 of 1) sorted by relevance
115 static void tpr_guest_code(void) in tpr_guest_code() function220 vm = vm_create_with_one_vcpu(&vcpu, tpr_guest_code); in test_tpr()