|  | /* SPDX-License-Identifier: (GPL-2.0 OR CDDL-1.0) */ | 
|  | /* Copyright (C) 2006-2016 Oracle Corporation */ | 
|  |  | 
|  | #ifndef __VBOX_UTILS_H__ | 
|  | #define __VBOX_UTILS_H__ | 
|  |  | 
|  | #include <linux/printk.h> | 
|  | #include <linux/vbox_vmmdev_types.h> | 
|  |  | 
|  | struct vbg_dev; | 
|  |  | 
|  | /** | 
|  | * vboxguest logging functions, these log both to the backdoor and call | 
|  | * the equivalent kernel pr_foo function. | 
|  | */ | 
|  | __printf(1, 2) void vbg_info(const char *fmt, ...); | 
|  | __printf(1, 2) void vbg_warn(const char *fmt, ...); | 
|  | __printf(1, 2) void vbg_err(const char *fmt, ...); | 
|  | __printf(1, 2) void vbg_err_ratelimited(const char *fmt, ...); | 
|  |  | 
|  | /* Only use backdoor logging for non-dynamic debug builds */ | 
|  | #if defined(DEBUG) && !defined(CONFIG_DYNAMIC_DEBUG) | 
|  | __printf(1, 2) void vbg_debug(const char *fmt, ...); | 
|  | #else | 
|  | #define vbg_debug pr_debug | 
|  | #endif | 
|  |  | 
|  | int vbg_hgcm_connect(struct vbg_dev *gdev, u32 requestor, | 
|  | struct vmmdev_hgcm_service_location *loc, | 
|  | u32 *client_id, int *vbox_status); | 
|  |  | 
|  | int vbg_hgcm_disconnect(struct vbg_dev *gdev, u32 requestor, | 
|  | u32 client_id, int *vbox_status); | 
|  |  | 
|  | int vbg_hgcm_call(struct vbg_dev *gdev, u32 requestor, u32 client_id, | 
|  | u32 function, u32 timeout_ms, | 
|  | struct vmmdev_hgcm_function_parameter *parms, u32 parm_count, | 
|  | int *vbox_status); | 
|  |  | 
|  | /** | 
|  | * Convert a VirtualBox status code to a standard Linux kernel return value. | 
|  | * Return: 0 or negative errno value. | 
|  | * @rc:			VirtualBox status code to convert. | 
|  | */ | 
|  | int vbg_status_code_to_errno(int rc); | 
|  |  | 
|  | /** | 
|  | * Helper for the vboxsf driver to get a reference to the guest device. | 
|  | * Return: a pointer to the gdev; or a ERR_PTR value on error. | 
|  | */ | 
|  | struct vbg_dev *vbg_get_gdev(void); | 
|  |  | 
|  | /** | 
|  | * Helper for the vboxsf driver to put a guest device reference. | 
|  | * @gdev:		Reference returned by vbg_get_gdev to put. | 
|  | */ | 
|  | void vbg_put_gdev(struct vbg_dev *gdev); | 
|  |  | 
|  | #endif |