Searched refs:bsd_x86_64_set_idt_base (Results 1 – 3 of 3) sorted by relevance
27 void bsd_x86_64_set_idt_base(uint64_t base);
67 void bsd_x86_64_set_idt_base(uint64_t base) in bsd_x86_64_set_idt_base() function
67 bsd_x86_64_set_idt_base(env->idt.base); in target_cpu_init()