Re: [PATCH v2 4/6] linux-user: log page table changes under -d page

2019-12-11 Thread Laurent Vivier
Le 05/12/2019 à 13:25, Alex Bennée a écrit : > The CPU_LOG_PAGE flag is woefully underused and could stand to do > extra duty tracking page changes. If the user doesn't want to see the > details as things change they still have the tracepoints available. > > We push the locking into log_page_dump

Re: [PATCH v2 4/6] linux-user: log page table changes under -d page

2019-12-05 Thread Richard Henderson
On 12/5/19 4:25 AM, Alex Bennée wrote: > The CPU_LOG_PAGE flag is woefully underused and could stand to do > extra duty tracking page changes. If the user doesn't want to see the > details as things change they still have the tracepoints available. > > We push the locking into log_page_dump and pa

[PATCH v2 4/6] linux-user: log page table changes under -d page

2019-12-05 Thread Alex Bennée
The CPU_LOG_PAGE flag is woefully underused and could stand to do extra duty tracking page changes. If the user doesn't want to see the details as things change they still have the tracepoints available. We push the locking into log_page_dump and pass a reason for the banner text. Signed-off-by: