tree 48b5b2347cf79ae8791fd908c6ad5a3691b20647
parent c4e0428d177e0b54a75c78ab197fc703163ee5d3
author Summer Li <Summer.Li@data61.csiro.au> 1520574314 +1100
committer Summer Li <Summer.Li@data61.csiro.au> 1521162388 +1100

libsel4utils: Delete all caps in process cspace

A process may have created more caps than what it was created with.