Searched refs:loader_get_dev_ext_trampoline (Results 1 – 3 of 3) sorted by relevance
515 void *loader_get_dev_ext_trampoline(uint32_t index);
3504 return loader_get_dev_ext_trampoline(idx);3517 return loader_get_dev_ext_trampoline(idx);
1527 void *loader_get_dev_ext_trampoline(uint32_t index) { in loader_get_dev_ext_trampoline() function