399,404d398
< uint64_t
< BaseCPU::get_interrupts(int int_num)
< {
< return interrupts.get_vec(int_num);
< }
<