C functions to ease the use of mach_vm functions