Searched refs:enable_os_lock (Results 1 – 1 of 1) sorted by relevance
133 static void enable_os_lock(void) in enable_os_lock() function286 enable_os_lock(); in guest_code()293 enable_os_lock(); in guest_code()301 enable_os_lock(); in guest_code()311 enable_os_lock(); in guest_code()