Searched refs:reserve_vrma_context_id (Results 1 – 1 of 1) sorted by relevance
1015 static int __init reserve_vrma_context_id(void) in reserve_vrma_context_id() function1030 machine_device_initcall(pseries, reserve_vrma_context_id);
