Searching in zircon/kernel/arch/src