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