HomeFreeBSD

xen: fix IDT setup after PTI

Description

xen: fix IDT setup after PTI

On amd64 the IDT handler was not set correctly when using PTI.

While there also fix the selectors to SEL_KPL.

Obtained from: kib
MFC with: r328083

Details

Provenance
roygerAuthored on
Parents
rS328198: clk: Get new parent freq after set_freq
Branches
Unknown
Tags
Unknown