Searched refs:openpic_writefield_IPI (Results 1 – 2 of 2) sorted by relevance
| /linux-2.4.37.9/arch/ppc64/kernel/ |
| D | open_pic.c | 253 static inline void openpic_writefield_IPI(volatile u_int* addr, u_int mask, u_int field) in openpic_writefield_IPI() function
261 openpic_writefield_IPI(addr, mask, 0); in openpic_clearfield_IPI()
266 openpic_writefield_IPI(addr, mask, mask); in openpic_setfield_IPI()
286 openpic_writefield_IPI(addr, mask, field | OPENPIC_MASK); in openpic_safe_writefield_IPI()
|
| /linux-2.4.37.9/arch/ppc/kernel/ |
| D | open_pic.c | 231 inline void openpic_writefield_IPI(volatile u_int* addr, u_int mask, u_int field) in openpic_writefield_IPI() function
239 openpic_writefield_IPI(addr, mask, 0); in openpic_clearfield_IPI()
244 openpic_writefield_IPI(addr, mask, mask); in openpic_setfield_IPI()
257 openpic_writefield_IPI(addr, mask | OPENPIC_MASK, field | OPENPIC_MASK); in openpic_safe_writefield_IPI()
|