#ifndef _I386_MP_DESC_H_
#define _I386_MP_DESC_H_
#include <mach_kdb.h>
#include <sys/cdefs.h>
__BEGIN_DECLS
#include <i386/seg.h>
#include <i386/tss.h>
typedef struct cpu_desc_table {
struct fake_descriptor idt[IDTSZ] __attribute__ ((aligned (16)));
struct fake_descriptor gdt[GDTSZ] __attribute__ ((aligned (16)));
struct i386_tss ktss __attribute__ ((aligned (16)));
struct i386_tss dbtss __attribute__ ((aligned (16)));
struct sysenter_stack sstk;
} cpu_desc_table_t;
typedef struct cpu_desc_table64 {
struct fake_descriptor64 idt[IDTSZ] __attribute__ ((aligned (16)));
struct fake_descriptor gdt[GDTSZ] __attribute__ ((aligned (16)));
struct x86_64_tss ktss __attribute__ ((aligned (16)));
struct sysenter_stack sstk __attribute__ ((aligned (16)));
uint8_t dfstk[PAGE_SIZE] __attribute__ ((aligned (16)));
} cpu_desc_table64_t;
#define current_gdt() (current_cpu_datap()->cpu_desc_index.cdi_gdt.ptr)
#define current_idt() (current_cpu_datap()->cpu_desc_index.cdi_idt.ptr)
#define current_ldt() (current_cpu_datap()->cpu_desc_index.cdi_ldt)
#define current_ktss() (current_cpu_datap()->cpu_desc_index.cdi_ktss)
#define current_dbtss() (current_cpu_datap()->cpu_desc_index.cdi_dbtss)
#define current_sstk() (current_cpu_datap()->cpu_desc_index.cdi_sstk)
#define current_ktss64() ((struct x86_64_tss *) current_ktss())
#define current_sstk64() ((addr64_t *) current_sstk())
#define gdt_desc_p(sel) \
(&((struct real_descriptor *)current_gdt())[sel_idx(sel)])
#define ldt_desc_p(sel) \
(&((struct real_descriptor *)current_ldt())[sel_idx(sel)])
extern void cpu_mode_init(cpu_data_t *cdp);
extern void cpu_desc_init(cpu_data_t *cdp);
extern void cpu_desc_init64(cpu_data_t *cdp);
extern void cpu_desc_load(cpu_data_t *cdp);
extern void cpu_desc_load64(cpu_data_t *cdp);
static inline boolean_t
valid_user_data_selector(uint16_t selector)
{
sel_t sel = selector_to_sel(selector);
if (selector == 0)
return (TRUE);
if (sel.ti == SEL_LDT)
return (TRUE);
else if (sel.index < GDTSZ) {
if ((gdt_desc_p(selector)->access & ACC_PL_U) == ACC_PL_U)
return (TRUE);
}
return (FALSE);
}
static inline boolean_t
valid_user_code_selector(uint16_t selector)
{
sel_t sel = selector_to_sel(selector);
if (selector == 0)
return (FALSE);
if (sel.ti == SEL_LDT) {
if (sel.rpl == USER_PRIV)
return (TRUE);
}
else if (sel.index < GDTSZ && sel.rpl == USER_PRIV) {
if ((gdt_desc_p(selector)->access & ACC_PL_U) == ACC_PL_U)
return (TRUE);
}
return (FALSE);
}
static inline boolean_t
valid_user_stack_selector(uint16_t selector)
{
sel_t sel = selector_to_sel(selector);
if (selector == 0)
return (FALSE);
if (sel.ti == SEL_LDT) {
if (sel.rpl == USER_PRIV)
return (TRUE);
}
else if (sel.index < GDTSZ && sel.rpl == USER_PRIV) {
if ((gdt_desc_p(selector)->access & ACC_PL_U) == ACC_PL_U)
return (TRUE);
}
return (FALSE);
}
extern boolean_t
valid_user_segment_selectors(uint16_t cs,
uint16_t ss,
uint16_t ds,
uint16_t es,
uint16_t fs,
uint16_t gs);
__END_DECLS
#endif