Symbol: xen_read_psl
sys/arch/xen/include/xenfunc.h
39
u_long xen_read_psl(void);
sys/arch/xen/x86/xen_intr.c
527
__strong_alias(x86_read_psl, xen_read_psl);