AT_SUN_IFLUSH
{ AT_SUN_IFLUSH, "AT_SUN_IFLUSH", at_null },
case AT_SUN_IFLUSH:
AUX(av, AT_SUN_IFLUSH, icache_flush);
AUX64(av, AT_SUN_IFLUSH, icache_flush);