Symbol: intc_info
headers/private/kernel/arch/arm/arch_kernel_args.h
41
intc_info interrupt_controller;
headers/private/kernel/arch/arm64/arch_kernel_args.h
36
intc_info interrupt_controller;
src/system/boot/platform/efi/arch/arm/arch_dtb.cpp
107
intc_info &interrupt_controller = gKernelArgs.arch_args.interrupt_controller;
src/system/boot/platform/efi/arch/arm/arch_dtb.cpp
72
intc_info &interrupt_controller = gKernelArgs.arch_args.interrupt_controller;
src/system/boot/platform/efi/arch/arm64/arch_acpi.cpp
114
intc_info &intc = gKernelArgs.arch_args.interrupt_controller;
src/system/boot/platform/efi/arch/arm64/arch_dtb.cpp
64
intc_info &interrupt_controller = gKernelArgs.arch_args.interrupt_controller;
src/system/boot/platform/efi/arch/arm64/arch_dtb.cpp
84
intc_info &interrupt_controller = gKernelArgs.arch_args.interrupt_controller;