x86_write_psl
x86_write_psl(*state);
x86_write_psl(eflags);
x86_write_psl(eflags);
x86_write_psl(eflags);
void x86_write_psl(u_long);
x86_write_psl(psl);
void x86_write_psl(u_long);
x86_write_psl(psl);
x86_write_psl(psl);
x86_write_psl(psl);
x86_write_psl(psl);
x86_write_psl(psl);
x86_write_psl(psl);
x86_write_psl(psl);
x86_write_psl(psl);
x86_write_psl(psl);
x86_write_psl(psl);
x86_write_psl(psl);
x86_write_psl(psl);
x86_write_psl(psl);
x86_write_psl(psl);
x86_write_psl(psl);
x86_write_psl(psl);
x86_write_psl(psl);
x86_write_psl(flags);
x86_write_psl(psl);
x86_write_psl(psl);
__strong_alias(x86_write_psl, xen_write_psl);
x86_write_psl(psl);
x86_write_psl(psl);