Searching in drivers/firmware/smccc