-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathmemory.h
More file actions
64 lines (57 loc) · 2.03 KB
/
memory.h
File metadata and controls
64 lines (57 loc) · 2.03 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
//
// Created by Max Wang on 2026/1/3.
//
#ifndef VM_MEMORY_H
#define VM_MEMORY_H
#include <stdint.h>
#include <string.h>
#include "mmio.h"
#include "panic.h"
#include "vm.h"
typedef uint32_t vm_addr_t;
uint8_t vm_read8(VM *vm, vm_addr_t addr);
uint32_t vm_read32(VM *vm, vm_addr_t addr);
uint64_t vm_read64(VM *vm, vm_addr_t addr);
uint32_t vm_fetch64_exec(VM *vm, vm_addr_t addr, uint64_t *out_inst);
uint32_t vm_atomic_load32_acquire(VM *vm, vm_addr_t addr);
void vm_atomic_store32_release(VM *vm, vm_addr_t addr, uint32_t value);
uint32_t vm_atomic_exchange32_seqcst(VM *vm, vm_addr_t addr, uint32_t value);
uint32_t vm_atomic_fetch_add32_seqcst(VM *vm, vm_addr_t addr, uint32_t value);
uint32_t vm_atomic_compare_exchange32_seqcst(VM *vm,
vm_addr_t addr,
uint32_t expected,
uint32_t desired,
int *success);
static inline int in_ram(VM *vm, vm_addr_t addr, size_t size) {
return addr + size <= vm->memory_size;
}
static inline int fb_byte_index(VM *vm, vm_addr_t addr, size_t *out_index) {
const size_t fb_base = FB_BASE(vm->memory_size);
if (addr >= fb_base && addr < fb_base + FB_SIZE) {
*out_index = (size_t)(addr - fb_base);
return 1;
}
if (addr >= FB_LEGACY_BASE && addr < FB_LEGACY_BASE + FB_SIZE) {
*out_index = (size_t)(addr - FB_LEGACY_BASE);
return 1;
}
return 0;
}
static inline uint32_t load_le32(const void *p) {
uint32_t v;
memcpy(&v, p, sizeof(v));
#if __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
v = __builtin_bswap32(v);
#endif
return v;
}
static inline void store_le32(void *p, uint32_t v) {
#if __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
v = __builtin_bswap32(v);
#endif
memcpy(p, &v, sizeof(v));
}
void vm_write8(VM *vm, vm_addr_t addr, uint8_t value);
void vm_write32(VM *vm, vm_addr_t addr, uint32_t value);
void vm_write64(VM *vm, vm_addr_t addr, uint64_t value);
#endif // VM_MEMORY_H