Searched refs:platform_syscall (Results 1 – 3 of 3) sorted by relevance
697 void platform_syscall(
1634 platform_syscall(state); in handle_svc()
2037 platform_syscall(arm_saved_state_t *state) in platform_syscall() function