vm_register_reg_handler
void vm_register_reg_handler(struct vm *vm, uint64_t iss, uint64_t mask,
vm_register_reg_handler(vm, ISS_MSR_REG(ICC_SGI1R_EL1),
void vm_register_reg_handler(struct vm *vm, uint64_t iss, uint64_t mask,