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