/* * IPL_USB is defined as IPL_VM for drivers that have not been made MP safe. * IPL_VM (currently) takes the kernel lock. * * Eventually, IPL_USB can/should be changed */