tree 87a3299b73a3711a709a85179753173548d0c917
parent 22165fb21aa2d49e6eafd716ebb8f153060530d3
author Andrew Walbran <qwandor@google.com> 1562603208 +0100
committer Andrew Walbran <qwandor@google.com> 1562603208 +0100

Remove unused cpu_irq_* functions.

Change-Id: I3a726e470553e2f95423b1d98c05c6cf3550dafd