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