acquire_sbi
mask = acquire_sbi(SBI2DEVID(sbino), 0xf << sbil);
mask = acquire_sbi(devid, 0xffffffff);