pic_if.m (031beb4e239bfce798af17f5fe8dba8bcaf13d99) pic_if.m (85918beb387f179abc93a6c613801fb9761ff1e2)
1#-
2# Copyright (c) 2015-2016 Svatopluk Kraus
3# Copyright (c) 2015-2016 Michal Meloun
4# All rights reserved.
5#
6# Redistribution and use in source and binary forms, with or without
7# modification, are permitted provided that the following conditions
8# are met:

--- 60 unchanged lines hidden (view full) ---

69 null_pic_teardown_intr(device_t dev, struct intr_irqsrc *isrc,
70 struct resource *res, struct intr_map_data *data)
71 {
72
73 return (0);
74 }
75
76 static void
1#-
2# Copyright (c) 2015-2016 Svatopluk Kraus
3# Copyright (c) 2015-2016 Michal Meloun
4# All rights reserved.
5#
6# Redistribution and use in source and binary forms, with or without
7# modification, are permitted provided that the following conditions
8# are met:

--- 60 unchanged lines hidden (view full) ---

69 null_pic_teardown_intr(device_t dev, struct intr_irqsrc *isrc,
70 struct resource *res, struct intr_map_data *data)
71 {
72
73 return (0);
74 }
75
76 static void
77 null_pic_init_secondary(device_t dev)
77 null_pic_init_secondary(device_t dev, uint32_t rootnum)
78 {
79 }
80
81 static void
82 null_pic_ipi_send(device_t dev, cpuset_t cpus, u_int ipi)
83 {
84 }
85

--- 66 unchanged lines hidden (view full) ---

152
153METHOD void pre_ithread {
154 device_t dev;
155 struct intr_irqsrc *isrc;
156};
157
158METHOD void init_secondary {
159 device_t dev;
78 {
79 }
80
81 static void
82 null_pic_ipi_send(device_t dev, cpuset_t cpus, u_int ipi)
83 {
84 }
85

--- 66 unchanged lines hidden (view full) ---

152
153METHOD void pre_ithread {
154 device_t dev;
155 struct intr_irqsrc *isrc;
156};
157
158METHOD void init_secondary {
159 device_t dev;
160 uint32_t rootnum;
160} DEFAULT null_pic_init_secondary;
161
162METHOD void ipi_send {
163 device_t dev;
164 struct intr_irqsrc *isrc;
165 cpuset_t cpus;
166 u_int ipi;
167} DEFAULT null_pic_ipi_send;
168
169METHOD int ipi_setup {
170 device_t dev;
171 u_int ipi;
172 struct intr_irqsrc **isrcp;
173} DEFAULT dflt_pic_ipi_setup;
161} DEFAULT null_pic_init_secondary;
162
163METHOD void ipi_send {
164 device_t dev;
165 struct intr_irqsrc *isrc;
166 cpuset_t cpus;
167 u_int ipi;
168} DEFAULT null_pic_ipi_send;
169
170METHOD int ipi_setup {
171 device_t dev;
172 u_int ipi;
173 struct intr_irqsrc **isrcp;
174} DEFAULT dflt_pic_ipi_setup;