HIGH_LEVELS
printf("#define\tHIGH_LEVELS 0x%x\n", HIGH_LEVELS);
uint64_t pil_high_start[HIGH_LEVELS];
label_t *ofd[HIGH_LEVELS]; /* saved pil ofd */
uintptr_t lfd[HIGH_LEVELS]; /* saved ret PC */
struct on_trap_data *otd[HIGH_LEVELS]; /* saved pil otd */
uint64_t pil_high_start[HIGH_LEVELS]; /* high-level intrs */
label_t *ofd[HIGH_LEVELS]; /* saved pil ofd */
uintptr_t lfd[HIGH_LEVELS]; /* saved ret PC */
struct on_trap_data *otd[HIGH_LEVELS]; /* saved pil otd */
uint64_t pil_high_start[HIGH_LEVELS]; /* high-level intrs */