/* * Allocate an IDT vector slot within the given range. * cpu_lock will be held unless single threaded during early boot. */