LOWLEVEL_PENDING
} while (!ret && LOWLEVEL_PENDING(cpu));
while ((pending = LOWLEVEL_PENDING(cpu)) != 0) {
