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