Refer the following disassembly :-
set_boot_mpumap(next_xen_mpumap_index, (uint32_t) boot_mpumap);
a2c44: e30b2000 movw r2, #45056 ; 0xb000
a2c48: e3402008 movt r2, #8
a2c4c: e5940000 ldr r0, [r4]
a2c50: e3a01000 mov r1, #0 <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<< ---------------Problem
a2c54: ebfedae2 bl 597e4 <set_boot_mpumap>