Searching in zircon/kernel/include/platform