vmm_get_mapping() works