linux-user/main: support dfilter
commit8423fa9010f2cadd50e8c21a20c62dc5b977704c
authorAlex Bennée <alex.bennee@linaro.org>
Tue, 17 Oct 2017 10:35:14 +0000 (17 11:35 +0100)
committerRiku Voipio <riku.voipio@linaro.org>
Tue, 17 Oct 2017 19:17:01 +0000 (17 22:17 +0300)
tree1a4f333bafd36b64b159071ac7580898a1649f76
parent1847b7ba7015a7448079c2d8fd7187726c33c707
linux-user/main: support dfilter

This adds the -dfilter support to linux-user. There is a minor
checkpatch complaint about formatting which I've ignored for aesthetic
reasons.

Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
Reviewed-by: Laurent Vivier <laurent@vivier.eu>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Signed-off-by: Riku Voipio <riku.voipio@linaro.org>
linux-user/main.c