240 |
# define BROADTCAST_IPI() |
# define BROADTCAST_IPI() |
241 |
#endif |
#endif |
242 |
|
|
243 |
|
/* Number of interrupt vectors this machine have. */ |
244 |
|
#define N_MACHINE_INTRS 16 |
245 |
|
|
246 |
|
/* Enable interrupt INTR_NO. */ |
247 |
|
extern void permit_interrupt (int intr_no); |
248 |
|
#define PERMIT_INTERRUPT(INTR_NO) permit_interrupt (INTR_NO) |
249 |
|
|
250 |
|
|
251 |
/* Physical memory map structure. Does not contain very much for the |
/* Physical memory map structure. Does not contain very much for the |
252 |
moment. PDE is the level 1 (???) page directory. REFCNT is just |
moment. PDE is the level 1 (???) page directory. REFCNT is just |