x86_read_psl
KASSERT(x86_read_psl() == 0);
*state = x86_read_psl();
eflags = x86_read_psl();
eflags = x86_read_psl();
eflags = x86_read_psl();
KASSERT(x86_read_psl() == 0);
u_long x86_read_psl(void);
psl = x86_read_psl();
u_long x86_read_psl(void);
psl = x86_read_psl();
psl = x86_read_psl();
psl = x86_read_psl();
psl = x86_read_psl();
psl = x86_read_psl();
psl = x86_read_psl();
const u_long psl = x86_read_psl();
psl = x86_read_psl();
psl = x86_read_psl();
psl = x86_read_psl();
psl = x86_read_psl();
psl = x86_read_psl();
psl = x86_read_psl();
const u_long psl = x86_read_psl();
psl = x86_read_psl();
flags = x86_read_psl();
KASSERTMSG((psl = x86_read_psl()) == 0, "psl=0x%lx", psl);
KASSERTMSG(((psl = x86_read_psl()) & PSL_I) != 0, "psl=0x%lx", psl);
psl = x86_read_psl();
psl = x86_read_psl();
KASSERT(x86_read_psl() != 0);
__strong_alias(x86_read_psl, xen_read_psl);
const u_long psl = x86_read_psl();
const u_long psl = x86_read_psl();