tree 2a4a21987109d0e044b7fd3287eb3ef2be066798
parent cd652ea3dc78c8e9e18490b3883c287e0c5c2d45
author Josh Gao <jmgao@google.com> 1576275064 -0800
committer Josh Gao <jmgao@google.com> 1576629365 -0800

debuggerd: switch to using platform headers for DEBUGGER_SIGNAL.

Test: treehugger
Change-Id: Ie9736c4a077dba1029d2352bd94d47ce07323aec