PCB_32BIT
clear_pcb_flags(pcb, PCB_32BIT | PCB_TLSBASE);
ASSYM(PCB_32BIT, PCB_32BIT);
set_pcb_flags(pcb, PCB_32BIT | PCB_FULL_IRET);
clear_pcb_flags(pcb, PCB_32BIT | PCB_TLSBASE);
set_pcb_flags(pcb, PCB_32BIT | PCB_FULL_IRET);