Consistent notation for VAddr/PAddr #101
Labels
contrib/easy
Contributing: this issue likely requires less time or experience than other issues.
contrib/help wanted
Contributing: help is requested or needed by the filer of this issue.
kind/feature
Kind: this issue is a feature.
Currently, we tend to format both virtual (
VAddr
) and physical (PAddr
) addresses using the"{:#p}"
format specifier for pointers. This works fine, but makes telling whether an address is physical or virtual difficult when reading through logs, et cetera.It'd be nice if we could have a consistent notation for these. I suggest possibly replacing
"0xff00"
with"Pxff00
for physical addresses andVxff00
for virtual addresses, or appending a P/V to the end of the hex address, like0xff00_p
.The text was updated successfully, but these errors were encountered: