search

mit-pdos / xv6-riscv

Xv6 for RISC-V
Other
6.63k stars 2.4k forks source link

int -> uint64_t #82

Open ahmedcharles opened 3 years ago

ahmedcharles commented 3 years ago

Using int results in a sext.w instruction, which is confusing when looking at the disassembly.

optimisticside commented 3 years ago

uint64_t isn't defined since stdint.h is not included. Instead, uint64 is used in its place.