Code Editor : arm_hypercalls.h