1/*-
2 * Copyright (c) 2000 Michael Smith
3 * Copyright (c) 2000 BSDi
4 * All rights reserved.
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions
8 * are met:

--- 16 unchanged lines hidden (view full) ---

25 * SUCH DAMAGE.
26 */
27
28/*
29 * 6.6 : Stream I/O
30 */
31
32#include <sys/cdefs.h>
33__FBSDID("$FreeBSD: head/sys/dev/acpica/Osd/OsdStream.c 150003 2005-09-11 18:39:03Z obrien $");
34
35#include <contrib/dev/acpica/acpi.h>
36
37void
38AcpiOsPrintf(const char *Format, ...)
39{
40 va_list ap;
41
42 va_start(ap, Format);
43 vprintf(Format, ap);
44 va_end(ap);
45}
46
47void
48AcpiOsVprintf(const char *Format, va_list Args)
49{
50 vprintf(Format, Args);
51}