Does anyone know if there is a more specific term for this type of external PC hardware accessory?

Basically some kind of "keyboard/mouse switcher" - something that you can plug your Keyboard + Mouse via USB into, but can "switch" it between two separate machines/PCs hooked up to it via some button(s) on it?

Got any recommendations for specific listings for this online? Preferably on the cheaper side for a poorfag + on ebay, but any store works.