std.ptr

pointer <-> address and alignment math (Fels has no pointer arithmetic)

to_addr

pub to_addr :: fn($T: type, p: *T) -> usize

address of p

from_addr

pub from_addr :: fn($T: type, addr: usize) -> *T

address -> *T; unsafe: caller ensures it is valid and aligned for T

is_null

pub is_null :: fn($T: type, p: *T) -> bool

add_bytes

pub add_bytes :: fn(addr: usize, offset: usize) -> usize

addr + offset bytes

sub_bytes

pub sub_bytes :: fn(addr: usize, offset: usize) -> usize

addr - offset bytes

diff_bytes

pub diff_bytes :: fn($T: type, a: *T, b: *T) -> isize

a - b in bytes; negative when a comes first

is_aligned

pub is_aligned :: fn(addr: usize, alignment: usize) -> bool

align_down

pub align_down :: fn(addr: usize, alignment: usize) -> usize

align_up

pub align_up :: fn(addr: usize, alignment: usize) -> usize