Support functions for upcoming memory management syscall