Introduce functions for universal memory access through a new structure, access_context_t
Introduce vmi_write_addr