service_call_num (reference) in projects: kernel

Searched refs:service_call_num (Results 1 – 2 of 2) sorted by relevance

/kernel/object/include/object/
A D	resource.h	`42 static inline zx_status_t validate_resource_smc(zx_handle_t handle, uint64_t service_call_num) { in validate_resource_smc() argument 43 return validate_ranged_resource(handle, ZX_RSRC_KIND_SMC, service_call_num, 1); in validate_resource_smc()`
/kernel/syscalls/
A D	ddk.cpp	`589 uint32_t service_call_num = ARM_SMC_GET_SERVICE_CALL_NUM_FROM_FUNC_ID(params.func_id); in sys_smc_call() local 590 if ((status = validate_resource_smc(handle, service_call_num)) != ZX_OK) { in sys_smc_call()`

Completed in 8 milliseconds