This is not only for hvc instruction. You might want to rename.