vmw_cmdbuf_header_free
vmw_cmdbuf_header_free(header);
extern void vmw_cmdbuf_header_free(struct vmw_cmdbuf_header *header);
vmw_cmdbuf_header_free(*header);