hvc_rtas_cookie
hvc_instantiate(hvc_rtas_cookie, 0, &hvc_rtas_get_put_ops);
hp = hvc_alloc(hvc_rtas_cookie, 0, &hvc_rtas_get_put_ops, 16);