namespace teachos::arch::kernel::cpu
{
  auto set_interrupt_flag() -> void { asm volatile("sti"); }

}  // namespace teachos::arch::kernel::cpu