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