Searched defs:updated_vmid_mask (Results 1 – 1 of 1) sorted by relevance
3418 int updated_vmid_mask; in reserve_debug_trap_vmid() local3466 int updated_vmid_mask; in release_debug_trap_vmid() local