Symbol: MBOX_INTSN
sys/arch/octeon/dev/octcit.c
523
intsn = MBOX_INTSN(cpuid);
sys/arch/octeon/dev/octcit.c
536
uint64_t reg = CIU3_ISC_W1S(MBOX_INTSN(cpuid));
sys/arch/octeon/dev/octcit.c
546
uint64_t reg = CIU3_ISC_W1C(MBOX_INTSN(cpuid));