39 static bool get_handler_for_smc_fid(uint32_t smc_fid, rt_svc_handle_t *handler)  in get_handler_for_smc_fid()  argument
53 	assert(handler != NULL);  in get_handler_for_smc_fid()
54 	*handler = rt_svc_descs[index].handle;  in get_handler_for_smc_fid()
55 	assert(*handler != NULL);  in get_handler_for_smc_fid()
162 	interrupt_type_handler_t handler = get_interrupt_type_handler(type);  in handler_interrupt_exception()  local
163 	if (handler == NULL) {  in handler_interrupt_exception()
167 	handler(INTR_ID_UNAVAILABLE, read_scr_el3() & SCR_NS_BIT, ctx, NULL);  in handler_interrupt_exception()
210 	rt_svc_handle_t handler;  in sync_handler()  local
225 	if (!get_handler_for_smc_fid(smc_fid, &handler)) {  in sync_handler()
231 	handler(smc_fid, x1, x2, x3, x4, NULL, ctx, get_flags(smc_fid, scr_el3));  in sync_handler()
297 	rt_svc_handle_t handler;  in handle_runtime_svc()  local
301 	if (!get_handler_for_smc_fid(smc_fid, &handler)) {  in handle_runtime_svc()
307 	return handler(smc_fid, x1, x2, x3, x4, cookie, handle, flags);  in handle_runtime_svc()