On 2016/5/26 22:55, Peter Maydell wrote: > From: Pavel Fedin <p.fe...@samsung.com> > > This temporary patch adds kernel API definitions. Use proper header update > procedure after these features are released. > > FIXME: not-for-upstream
Peter, What's your plan for this patch and next one? GICv3 emulation doesn't depend on them, right? If so, you can consider put them into another series. So this series could not be blocked by them. Thanks, -- Shannon