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;

headers/private/kernel/arch/x86/arch_int.h

84

void arch_int_set_interrupt_controller(const interrupt_controller &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

109

if (interrupt_controller.kind[0] == 0) {

src/system/boot/platform/efi/arch/arm/arch_dtb.cpp

112

dprintf(" kind: %s\n", interrupt_controller.kind);

src/system/boot/platform/efi/arch/arm/arch_dtb.cpp

114

interrupt_controller.regs1.start,

src/system/boot/platform/efi/arch/arm/arch_dtb.cpp

115

interrupt_controller.regs1.size);

src/system/boot/platform/efi/arch/arm/arch_dtb.cpp

117

interrupt_controller.regs2.start,

src/system/boot/platform/efi/arch/arm/arch_dtb.cpp

118

interrupt_controller.regs2.size);

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/arm/arch_dtb.cpp

73

if (interrupt_controller.kind[0] == 0) {

src/system/boot/platform/efi/arch/arm/arch_dtb.cpp

78

memcpy(interrupt_controller.kind, kSupportedInterruptControllers[i].kind,

src/system/boot/platform/efi/arch/arm/arch_dtb.cpp

79

sizeof(interrupt_controller.kind));

src/system/boot/platform/efi/arch/arm/arch_dtb.cpp

81

dtb_get_reg(fdt, node, 0, interrupt_controller.regs1);

src/system/boot/platform/efi/arch/arm/arch_dtb.cpp

82

dtb_get_reg(fdt, node, 1, interrupt_controller.regs2);

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

65

if (interrupt_controller.kind[0] == 0) {

src/system/boot/platform/efi/arch/arm64/arch_dtb.cpp

70

memcpy(interrupt_controller.kind, kSupportedInterruptControllers[i].kind,

src/system/boot/platform/efi/arch/arm64/arch_dtb.cpp

71

sizeof(interrupt_controller.kind));

src/system/boot/platform/efi/arch/arm64/arch_dtb.cpp

73

dtb_get_reg(fdt, node, 0, interrupt_controller.regs1);

src/system/boot/platform/efi/arch/arm64/arch_dtb.cpp

74

dtb_get_reg(fdt, node, 1, interrupt_controller.regs2);

src/system/boot/platform/efi/arch/arm64/arch_dtb.cpp

84

intc_info &interrupt_controller = gKernelArgs.arch_args.interrupt_controller;

src/system/boot/platform/efi/arch/arm64/arch_dtb.cpp

86

if (interrupt_controller.kind[0] == 0) {

src/system/boot/platform/efi/arch/arm64/arch_dtb.cpp

89

dprintf(" kind: %s\n", interrupt_controller.kind);

src/system/boot/platform/efi/arch/arm64/arch_dtb.cpp

91

interrupt_controller.regs1.start,

src/system/boot/platform/efi/arch/arm64/arch_dtb.cpp

92

interrupt_controller.regs1.size);

src/system/boot/platform/efi/arch/arm64/arch_dtb.cpp

94

interrupt_controller.regs2.start,

src/system/boot/platform/efi/arch/arm64/arch_dtb.cpp

95

interrupt_controller.regs2.size);

src/system/kernel/arch/arm/arch_int.cpp

156

if (strncmp(args->arch_args.interrupt_controller.kind, INTC_KIND_GICV2,

src/system/kernel/arch/arm/arch_int.cpp

157

sizeof(args->arch_args.interrupt_controller.kind)) == 0) {

src/system/kernel/arch/arm/arch_int.cpp

159

args->arch_args.interrupt_controller.regs1.start,

src/system/kernel/arch/arm/arch_int.cpp

160

args->arch_args.interrupt_controller.regs2.start);

src/system/kernel/arch/arm/arch_int.cpp

163

} else if (strncmp(args->arch_args.interrupt_controller.kind, INTC_KIND_OMAP3,

src/system/kernel/arch/arm/arch_int.cpp

164

sizeof(args->arch_args.interrupt_controller.kind)) == 0) {

src/system/kernel/arch/arm/arch_int.cpp

166

args->arch_args.interrupt_controller.regs1.start);

src/system/kernel/arch/arm/arch_int.cpp

169

} else if (strncmp(args->arch_args.interrupt_controller.kind, INTC_KIND_PXA,

src/system/kernel/arch/arm/arch_int.cpp

170

sizeof(args->arch_args.interrupt_controller.kind)) == 0) {

src/system/kernel/arch/arm/arch_int.cpp

172

args->arch_args.interrupt_controller.regs1.start);

src/system/kernel/arch/arm/arch_int.cpp

175

} else if (strncmp(args->arch_args.interrupt_controller.kind, INTC_KIND_SUN4I,

src/system/kernel/arch/arm/arch_int.cpp

176

sizeof(args->arch_args.interrupt_controller.kind)) == 0) {

src/system/kernel/arch/arm/arch_int.cpp

178

args->arch_args.interrupt_controller.regs1.start);

src/system/kernel/arch/arm64/arch_int.cpp

93

if (strcmp(args->arch_args.interrupt_controller.kind, INTC_KIND_GICV2) == 0) {

src/system/kernel/arch/arm64/arch_int.cpp

95

args->arch_args.interrupt_controller.regs1.start,

src/system/kernel/arch/arm64/arch_int.cpp

96

args->arch_args.interrupt_controller.regs2.start);

src/system/kernel/arch/x86/arch_int.cpp

504

arch_int_set_interrupt_controller(const interrupt_controller& controller)

src/system/kernel/arch/x86/arch_int.cpp

73

static const interrupt_controller* sCurrentPIC = NULL;

src/system/kernel/arch/x86/ioapic.cpp

682

static const interrupt_controller ioapicController = {

src/system/kernel/arch/x86/pic.cpp

192

static const interrupt_controller picController = {