/* * This is to just reference mem_lock so the one from libkern gets * pulled in instead of from libc. * This is necessary for applications that use the devices (or maybe * just Linux ones, which allocate mem in interrupt handlers). */static void dummy() {        extern void mem_lock(void);        extern void mem_unlock(void);        mem_lock();        mem_unlock();}