VIRTUTECH CONFIDENTIAL    Previous - Up - Next

x86

Implemented By
x86-486sx, x86-hammer, x86-p2, x86-p4
Description
The x86 interface allows certain processor pins to be set/cleared. It is also used by the apic for the startup IPI.
typedef enum {
        Pin_Init,
        Pin_Smi,
        Pin_Nmi,
        Pin_Ignne
} x86_pin_t;
typedef struct {
        void (*set_pin_status)(conf_object_t *obj, x86_pin_t pin, int status);
        void (*start_up)(conf_object_t *obj, uint32 start_address);
        int  (*interrupt_current_cpu)(int (*ack)(conf_object_t *), conf_object_t *data);
        void (*uninterrupt_current_cpu)(int (*ack)(conf_object_t *));
        int  (*has_pending_interrupt)(conf_object_t *obj);
        int  (*has_waiting_interrupt)(conf_object_t *obj);
        physical_address_t (*linear_to_physical)(processor_t *cpu_ptr, data_or_instr_t data_or_instr, linear_address_t address);
} x86_interface_t;
Command List
memory-configurationprint memory configuration
msrsprint MSRs
pregs-fpuprint the x87 registers
pregs-sseprint the sse registers
print-gdtprint GDT
print-idtprint IDT

Command Descriptions

<x86>.memory-configuration
Synopsis
<x86>.memory-configuration
Description
Print the processors memory configuration. Depending on the processor type, this may include MTRR information, HyperTransport routing information, DRAM configuration, and other memory configuration related information.
<x86>.msrs
Synopsis
<x86>.msrs
Description
Print model specific registers. MSRs not included in the output are either not supported, not implemented, read-only, or must be accessed through other attributes.
<x86>.pregs-fpu
Synopsis
<x86>.pregs-fpu [-f] [-x] [-i] [-b]
Description
Prints the x87 floating-point registers.
This command takes one of the formatting flags -f, -x, or -i.
The -f flag prints the floating-point values of the registers. The -x flag prints the contents of the registers as hexadecimal integers. The -i flag prints the contents of the registers as decimal integers. With the -b flag, the registers are printed in binary floating point form.
<x86>.pregs-sse
Synopsis
<x86>.pregs-sse [-s] [-d] [-f] [-x] [-i] [-b]
Description
Prints the contents of the SSE registers.
This command can take one subregister size flag and one formatting flag.
The subregister size is selected using the either the -s flag (32-bit), or the -d flag (64-bit).
The formatting flags -f, -x, and -i select the formatting of the output. The -f flag prints the floating-point values of the registers as decimal numbers. The -x flag prints the contents of the registers as hexadecimal integers. The -i flag prints the contents of the registers as decimal integers. With the -b flag, the registers are printed in binary floating point form.
<x86>.print-gdt
Synopsis
<x86>.print-gdt
Description
Print all descriptors in the Global Descriptor Table (GDT). Only usable in protected mode.
<x86>.print-idt
Synopsis
<x86>.print-idt
Description
Print all descriptors in the Interrupt Descriptor Table (IDT).

VIRTUTECH CONFIDENTIAL    Previous - Up - Next