flush_l1d_hw
syscall_ret_l1d_flush = l1d_hw ? flush_l1d_hw :
syscall_ret_l1d_flush = l1d_hw ? flush_l1d_hw : NULL;