Home
last modified time | relevance | path

Searched refs:vmid_mask (Results 1 – 1 of 1) sorted by relevance

/xen/xen/arch/arm/
A Dp2m.c1429 static unsigned long *vmid_mask; variable
1436 vmid_mask = xzalloc_array(unsigned long, BITS_TO_LONGS(MAX_VMID)); in p2m_vmid_allocator_init()
1438 if ( !vmid_mask ) in p2m_vmid_allocator_init()
1441 set_bit(INVALID_VMID, vmid_mask); in p2m_vmid_allocator_init()
1452 nr = find_first_zero_bit(vmid_mask, MAX_VMID); in p2m_alloc_vmid()
1463 set_bit(nr, vmid_mask); in p2m_alloc_vmid()
1479 clear_bit(p2m->vmid, vmid_mask); in p2m_free_vmid()

Completed in 4 milliseconds