-[[!table data="""
-func | XLEN=64 | XLEN=32 | XLEN=16 | XLEN=8 |
-extsb| 0xffffffffffffff93 | 0xffffff93 | 0xff93 | 0x93 |
-extsh| 0x0000000000000A93 | 0x00000A93 | 0x0A93 | 0x93 |
-extsw| 0xffffffff90000A93 | 0x90000A93 | 0x0A93 | 0x93 |
-"""]]
-
-TODO value 2: e.g. 0x000000000000F074
-
-[[!table data="""
-func | XLEN=64 | XLEN=32 | XLEN=16 | XLEN=8 |
-extsb| 0x0000000000000074 | 0x00000074 | 0x0074 | 0x74 |
-extsh| 0xFFFFFFFFFFFFF074 | 0xFFFFF074 | 0xF074 | 0x74 |
-extsw| 0x000000000000F074 | 0x0000F074 | 0xF074 | 0x74 |
-"""]]