Trivial ram device calls helper function for mapping rather than mapping directly
Trivial ram device calls helper function for mapping rather than mapping directly

smaccm/libsel4arm-vmm,smaccm/libsel4arm-vmm