- isr_param intr_ctx; // offset = 8
- ptr_t ustack_top; // offset = 84 -> 56 -> 60
- ptr_t page_table; // offset = 88 -> 60 -> 64
- void* fxstate; // offset = 92 -> 64 -> 68
+ isr_param* intr_ctx; // offset = 8
+ ptr_t ustack_top; // offset = 84 -> 56 -> 60 -> 12
+ ptr_t page_table; // offset = 88 -> 60 -> 64 -> 16
+ void* fxstate; // offset = 92 -> 64 -> 68 -> 20