![]() | |||||||||||||
Messages in this thread |
Jesse Barnes writes: > Hm, a static checker should be able to find this stuff, shouldn't it? Good idea. I wonder if sparse could be extended to do it. Alternatively, it wouldn't be hard to check dynamically. Just have a per-cpu count of outstanding MMIO stores. Zero it in spin_lock and mmiowb, increment it in write*, and grizzle if spin_unlock finds it non-zero. Should be very little overhead. Paul. - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/ | ||||||||||||
| Last update: 2006-03-09 07:44 [W:0.347 / U:0.170 seconds] ©2003-2008 Jasper Spaans | |||||||||||||