tree 8666c2dca117f812ddc79e8250a446a6e341cd3c
parent 600fe15be5d8d28b68a1f85fa4e5e8d131fde1bc
author Damon Lee <Damon.Lee@data61.csiro.au> 1616561296 +1100
committer Damon Lee <Damon.Lee@data61.csiro.au> 1616564497 +1100

libsel4debug: Guard functions using cap identify

The cap identification function only exists on builds when the kernel is
in debug mode. In release, this function doesn't exist and the compiler
raises warnings. This commit adds the preprocessor guards to avoid
compiling these functions when the cap identification function doesn't
exist.

Signed-off-by: Damon Lee <Damon.Lee@data61.csiro.au>