Searched refs:address_space_guard (Results 1 – 1 of 1) sorted by relevance
214 let address_space_guard = user_vm.read(); in open_status() localVariable218 let text = (address_space_guard.end_code - address_space_guard.start_code) / 1024; in open_status()220 let data = (address_space_guard.end_data - address_space_guard.start_data) / 1024; in open_status()221 drop(address_space_guard); in open_status()