Define how you want to write to that system memory without OS syscall. What exact C code did you had in mind? So that the counter example is close enough to i

Define how you want to write to that system memory without OS syscall. What exact C code did you had in mind? So that the counter example is close enough to it in exposing the same semantics.