Searched refs:platform_syscall (Results 1 – 3 of 3) sorted by relevance
666 void platform_syscall(
2499 platform_syscall(arm_saved_state_t *state) function
2103 platform_syscall(state); in handle_svc()