You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
26 lines
755 B
26 lines
755 B
6 years ago
|
#ifndef _RISCV_HTIF_H
|
||
|
|
#define _RISCV_HTIF_H
|
||
|
|
|
||
|
|
#include <stdint.h>
|
||
|
|
|
||
|
|
#if __riscv_xlen == 64
|
||
|
|
# define TOHOST_CMD(dev, cmd, payload) \
|
||
|
|
(((uint64_t)(dev) << 56) | ((uint64_t)(cmd) << 48) | (uint64_t)(payload))
|
||
|
|
#else
|
||
|
|
# define TOHOST_CMD(dev, cmd, payload) ({ \
|
||
|
|
if ((dev) || (cmd)) __builtin_trap(); \
|
||
|
|
(payload); })
|
||
|
|
#endif
|
||
|
|
#define FROMHOST_DEV(fromhost_value) ((uint64_t)(fromhost_value) >> 56)
|
||
|
|
#define FROMHOST_CMD(fromhost_value) ((uint64_t)(fromhost_value) << 8 >> 56)
|
||
|
|
#define FROMHOST_DATA(fromhost_value) ((uint64_t)(fromhost_value) << 16 >> 16)
|
||
|
|
|
||
|
|
extern uintptr_t htif;
|
||
|
|
void query_htif(uintptr_t dtb);
|
||
|
|
void htif_console_putchar(uint8_t);
|
||
|
|
int htif_console_getchar();
|
||
|
|
void htif_poweroff() __attribute__((noreturn));
|
||
|
|
void htif_syscall(uintptr_t);
|
||
|
|
|
||
|
|
#endif
|