static inline void
safe_pause_us(int x) {
if (cold) {
if (cold || in_epoch(net_epoch_preempt)) {
DELAY(x);
} else {
pause("e1000_delay", max(1, x/(1000000/hz)));
safe_pause_ms(int x) {
DELAY(x*1000);
pause("e1000_delay", ms_scale(x));