Symbol: vmm_read_lock