Searched refs:call_trusted (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/tools/usbboot/
H A Dtrusted.S1 .global call_trusted
4 call_trusted: label

Completed in 84 milliseconds