Home
last modified time | relevance | path

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

/xen/xen/arch/arm/
A Dp2m.c24 #define MAX_VMID max_vmid macro
27 #define MAX_VMID MAX_VMID_8_BIT macro
1436 vmid_mask = xzalloc_array(unsigned long, BITS_TO_LONGS(MAX_VMID)); in p2m_vmid_allocator_init()
1452 nr = find_first_zero_bit(vmid_mask, MAX_VMID); in p2m_alloc_vmid()
1456 if ( nr == MAX_VMID ) in p2m_alloc_vmid()
2044 if ( MAX_VMID == MAX_VMID_16_BIT ) in setup_virt_paging()
2056 ( MAX_VMID == MAX_VMID_16_BIT ) ? 16 : 8); in setup_virt_paging()

Completed in 5 milliseconds