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