K 10 svn:author V 4 jkim K 8 svn:date V 27 2010-08-10T06:25:08.345002Z K 7 svn:log V 346 Tidy up locking and memory allocation for the real mode emulator wrapper. Now we use a regular mutex instead of a spin mutex. When we enter and exit the emulator, spinlock_enter() and spinlock_exit() are additionally used. Move some page table related stuff from x86bios_init() and x86bios_uninit() to x86bios_map_mem() and x86bios_unmap_mem(). END