armv8_set_cpsr() function
Configures host-side ARM records to reflect the specified CPSR. Later, code can use arm_reg_current() to map register numbers according to how they are exposed by this mode.
Syntax
void armv8_set_cpsr(struct arm *arm,
uint32_t cpsr);