Symbol: XIVE_ESB_STORE_TRIGGER
sys/arch/powerpc64/dev/xive.c
328
XIVE_ESB_STORE_TRIGGER, 0);
sys/arch/powerpc64/dev/xive.c
347
XIVE_ESB_STORE_TRIGGER, 0);