Symbol: SET_BEBOX_REG
sys/arch/bebox/bebox/pic_bebox.c
83
SET_BEBOX_REG(CPU0_INT_MASK, 1 << (31 - irq));
sys/arch/bebox/include/cpu.h
59
SET_BEBOX_REG(CPU_CONTROL, TLBISYNC_FROM(cpuid));