fix the calculation of the address of the IPI dispatch register.
This commit is contained in:
parent
ef0d8145a7
commit
461184c6b6
|
@ -1,4 +1,4 @@
|
|||
/* $NetBSD: openpicreg.h,v 1.3 2001/08/30 03:08:52 briggs Exp $ */
|
||||
/* $NetBSD: openpicreg.h,v 1.4 2002/08/06 06:16:42 chs Exp $ */
|
||||
|
||||
/*-
|
||||
* Copyright (c) 2000 Tsubai Masanari. All rights reserved.
|
||||
|
@ -85,7 +85,8 @@
|
|||
*/
|
||||
|
||||
/* IPI command reg */
|
||||
#define OPENPIC_IPI(cpu, ipi) (0x20040 + (cpu) * 0x1000 + (ipi))
|
||||
#define OPENPIC_IPI(cpu, ipi) (0x20040 + (cpu) * 0x1000 + \
|
||||
(ipi) * 0x10)
|
||||
|
||||
/* current task priority reg */
|
||||
#define OPENPIC_CPU_PRIORITY(cpu) (0x20080 + (cpu) * 0x1000)
|
||||
|
|
Loading…
Reference in New Issue