reload_idt (reference) in projects: DragonOS-0.1.2

Searched refs:reload_idt (Results 1 – 1 of 1) sorted by relevance

59 void reload_idt()

in reload_idt()

196 reload_idt();