Searched refs:exclaves_hello_driver_interrupts (Results 1 – 1 of 1) sorted by relevance
199 exclaves_hello_driver_interrupts(uint64_t registryID, int64_t *out) in exclaves_hello_driver_interrupts() function239 return exclaves_hello_driver_interrupts((uint64_t)in, out); in exclaves_hello_driver_interrupts_test()