The text d0df2b686e1c, as Debian 11 (Bullseye) shipped it.
macros for manipulating CPU sets
CPU_AND(3) on Linux now