intel_dsb_noop
intel_dsb_noop(dsb, 4);
intel_dsb_noop(dsb, 5);
intel_dsb_noop(dsb, 8);
void intel_dsb_noop(struct intel_dsb *dsb, int count);