Home
last modified time | relevance | path

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

/xen/xen/arch/arm/
A Dp2m.c15 #define MAX_VMID_16_BIT (1UL << 16) macro
2024 max_vmid = MAX_VMID_16_BIT; in setup_virt_paging()
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