Searched refs:setup_64bit_idt (Results 1 – 2 of 2) sorted by relevance
229 static void setup_64bit_idt(struct kvm_sregs* sregs, char* host_mem, uintptr_t guest_mem) in setup_64bit_idt() function591 setup_64bit_idt(&sregs, host_mem, guest_mem); in syz_kvm_setup_cpu()
1735 static void setup_64bit_idt(struct kvm_sregs* sregs, char* host_mem, uintptr_t guest_mem)2092 setup_64bit_idt(&sregs, host_mem, guest_mem);