pic_if.m (536c8d948e8563141356fd41fb8bfe65be289385) pic_if.m (4b01a7fa76ce5abd0ade631ac5566804ba657090)
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, enum root_type root_type)
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 enum root_type root_type;
160 uint32_t rootnum;
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;
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;