Searched refs:gdt64 (Results 1 – 1 of 1) sorted by relevance
45 uint32 gdt64; // 64-bit GDTR member84 args->gdt64 = (uint32_t)(uint64_t)&gLongGDTR; in prepare_trampoline_args()