67
69
* may have different semantics depending on whether they are executed
68
70
* at PL0 vs PL!=0. When paravirtualized, these instructions mustn't
69
71
* be allowed to execute directly, lest incorrect semantics result. */
71
73
extern unsigned long xen_thash(unsigned long addr);
73
75
/* Note that "ttag" and "cover" are also privilege-sensitive; "ttag"