_F                 31 arch/xtensa/kernel/platform.c _F(void, setup, (char** cmd), { });
_F                 32 arch/xtensa/kernel/platform.c _F(void, restart, (void), { while(1); });
_F                 33 arch/xtensa/kernel/platform.c _F(void, halt, (void), { while(1); });
_F                 34 arch/xtensa/kernel/platform.c _F(void, power_off, (void), { while(1); });
_F                 35 arch/xtensa/kernel/platform.c _F(void, idle, (void), { __asm__ __volatile__ ("waiti 0" ::: "memory"); });
_F                 36 arch/xtensa/kernel/platform.c _F(void, heartbeat, (void), { });
_F                 39 arch/xtensa/kernel/platform.c _F(void, calibrate_ccount, (void),
_F                 35 drivers/net/ethernet/chelsio/cxgb4/cxgb4_dcb.h 				    FW_CMD_##__op##_F | \
_F               6518 drivers/net/ethernet/chelsio/cxgb4/t4_hw.c 					FW_CMD_##rd_wr##_F); \