Extern
Queue for gates (epilogues) More...
#include "interrupt/gate.h"
#include "machine/core.h"
Queue for gates (epilogues)