20.15.1.3 openproc

The openproc standard function allows you to create IO spaces to access the memory of some running program, given its process ID. The prototype is:

fun openproc = (uint<64> pid, uint<64> flags = 0) int<32>

where pid is the process ID whose memory we want to poke and flags is a set of open flags.