Hi Julien,
On 13 December 2016 at 19:43, Julien Grall wrote:
> Hi Bhupinder,
>
> On 12/12/16 07:26, Bhupinder Thakur wrote:
>
> [...]
>
>> -void p2m_vmid_allocator_init(void)
>> +int p2m_vmid_allocator_init(void)
>> {
>> -set_bit(INVALID_VMID, vmid_mask);
>> +int ret = 0;
>> +
>> +/
Hi Bhupinder,
On 12/12/16 07:26, Bhupinder Thakur wrote:
[...]
-void p2m_vmid_allocator_init(void)
+int p2m_vmid_allocator_init(void)
{
-set_bit(INVALID_VMID, vmid_mask);
+int ret = 0;
+
+/*
+ * allocate space for vmid_mask based on MAX_VMID
+ */
+vmid_mask = xzalloc_a