diff options
author | Damien Zammit <damien@zamaudio.com> | 2023-09-30 06:31:04 +0000 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-09-30 10:47:40 +0200 |
commit | 507dc37fa014714d4cc74df221227e0894d042c2 (patch) | |
tree | c1dc083129a697802e99a3465e71cc9edbb521e4 /ddb/db_print.h | |
parent | 4492f5358da5a933af270dac7109f689bebe2a37 (diff) | |
download | gnumach-507dc37fa014714d4cc74df221227e0894d042c2.tar.gz gnumach-507dc37fa014714d4cc74df221227e0894d042c2.tar.bz2 gnumach-507dc37fa014714d4cc74df221227e0894d042c2.zip |
Allow disabling of MACH_PCSAMPLE and disable by default
This fixes a page fault when the sampling occurs in MP.
Perhaps it is not MP safe yet.
Message-Id: <20230930063032.75232-4-damien@zamaudio.com>
Diffstat (limited to 'ddb/db_print.h')
0 files changed, 0 insertions, 0 deletions