static interrupt_vector_table: [u64; 256]