PCB_FULL_IRET
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(pcb, PCB_FULL_IRET);
ASSYM(PCB_FULL_IRET, PCB_FULL_IRET);
(flags & PCB_FULL_IRET) != 0 &&
(pcb->pcb_flags & PCB_FULL_IRET) == 0) {
if ((pcb->pcb_flags & PCB_FULL_IRET) == 0) {
set_pcb_flags(pcb, PCB_FULL_IRET);
set_pcb_flags(pcb, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(pcb, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(pcb, PCB_FULL_IRET);
set_pcb_flags(pcb, PCB_FULL_IRET);
set_pcb_flags(pcb, PCB_FULL_IRET);
set_pcb_flags(pcb, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
if ((pcb->pcb_flags & PCB_FULL_IRET) == 0) {
set_pcb_flags_raw(pcb2, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags_raw(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(pcb, PCB_FULL_IRET | ((thr_flags &
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(pcb, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(pcb, PCB_32BIT | PCB_FULL_IRET);
andl $~PCB_FULL_IRET,PCB_FLAGS(%r8)
#define update_pcb_bases(pcb) set_pcb_flags((pcb), PCB_FULL_IRET)
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(pcb, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(td->td_pcb, PCB_FULL_IRET);
set_pcb_flags(pcb, PCB_32BIT | PCB_FULL_IRET);
set_pcb_flags(pcb, PCB_FULL_IRET);