Searched refs:setgdt (Results 1 – 5 of 5) sorted by relevance
100 CALLBACK(setgdt, GUEST_GDT, 8 * 4 - 1); in elf32_exec()
159 CALLBACK(setgdt, 0x5000, sizeof(gdtr)); in elf64_exec()
172 void (*setgdt)(void *arg, uint64_t, size_t); member
428 .setgdt = test_setgdt,
668 .setgdt = cb_setgdt,