26#ifndef _RTEMS_SCORE_X86_64_H
27#define _RTEMS_SCORE_X86_64_H
33#define CPU_NAME "x86-64"
34#define CPU_MODEL_NAME "amd64"
36#define COM1_BASE_IO 0x3F8
37#define COM1_CLOCK_RATE (115200 * 16)
39#define EFLAGS_INTR_ENABLE 0x200
41#define FSBASE_MSR 0xC0000100
47#define DBG_PRINTF(...) printk(__VA_ARGS__)
49#define DBG_PRINTF(...)
This header file provides the kernel character input/output support API.
Provide printf() PRIxxx Constante Beyond Standards.