Searched refs:main_tss_index (Results 1 – 1 of 1) sorted by relevance
165 uint32_t desc_lo, desc_up, main_tss_index; in init_aon_task() local184 main_tss_index = add_gdt_entry(desc_lo, desc_up); in init_aon_task()204 : "r"((uint16_t)main_tss_index)); in init_aon_task()