/*
 */

void set_trap_gate(unsigned int n, void *addr);
void set_system_gate(unsigned int n, void *addr);
void setup_arch(void);