+\r
+/**\r
+ Decode a 16-bit index to determine the offset. Given an index value:\r
+ b15 - sign bit\r
+ b14:12 - number of bits in this index assigned to natural units (=a)\r
+ ba:11 - constant units = C\r
+ b0:a - natural units = N\r
+ Given this info, the offset can be computed by:\r
+ offset = sign_bit * (C + N * sizeof(UINTN))\r
+ Max offset is achieved with index = 0x7FFF giving an offset of\r
+ 0x27B (32-bit machine) or 0x477 (64-bit machine).\r
+ Min offset is achieved with index =\r
+\r
+ @param VmPtr pointer to VM context\r
+ @param CodeOffset offset from IP of the location of the 16-bit index to\r
+ decode\r
+\r
+ @return The decoded offset.\r
+\r
+**/\r