XC_PRI_BIT
if ((where & XC_PRI_BIT) != 0) {
where &= ~XC_PRI_BIT;
KASSERT((where & XC_PRI_BIT) == 0);
return (where | XC_PRI_BIT);