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