CPU_CONTROL
CLEAR_BEBOX_REG(CPU_CONTROL, TLBISYNC_FROM(cpuid));
SET_BEBOX_REG(CPU_CONTROL, TLBISYNC_FROM(cpuid));