Searched refs:address_space_guard (Results 1 – 1 of 1) sorted by relevance
173 let address_space_guard = binding.read(); in open_status() localVariable177 let text = (address_space_guard.end_code - address_space_guard.start_code) / 1024; in open_status()179 let data = (address_space_guard.end_data - address_space_guard.start_data) / 1024; in open_status()180 drop(address_space_guard); in open_status()