cpu_mmw_pause_int
cpu_mmw_pause_int(&gd->gd_reqflags, reqflags, cx->md_arg0,
cpu_mmw_pause_int(&gd->gd_reqflags, reqflags,
cpu_mmw_pause_int(&gd->gd_reqflags, reqflags,
void cpu_mmw_pause_int(int*, int, int, int);