Searched refs:bsd_x86_64_write_dt (Results 1 – 3 of 3) sorted by relevance
| /openbmc/qemu/bsd-user/x86_64/ |
| H A D | target_arch.h | 24 void bsd_x86_64_write_dt(void *ptr, unsigned long addr, unsigned long limit,
|
| H A D | target_arch_cpu.h | 97 bsd_x86_64_write_dt(&gdt_table[__USER_CS >> 3], 0, 0xfffff, in target_cpu_init()
101 bsd_x86_64_write_dt(&gdt_table[__USER_DS >> 3], 0, 0xfffff, in target_cpu_init()
|
| H A D | target_arch_cpu.c | 35 void bsd_x86_64_write_dt(void *ptr, unsigned long addr, in bsd_x86_64_write_dt() function
|