Searched refs:VMCS_WRITE_SEGREG_REALMODE (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/usr/arrakismon/
H A Dvmx.h45 #define VMCS_WRITE_SEGREG_REALMODE(dcb_cap,reg,selector) \ macro
H A Drealmode.c311 VMCS_WRITE_SEGREG_REALMODE(g->dcb_cap, CS, M.x86.R_CS);
316 VMCS_WRITE_SEGREG_REALMODE(g->dcb_cap, DS, M.x86.R_DS);
321 VMCS_WRITE_SEGREG_REALMODE(g->dcb_cap, ES, M.x86.R_ES);
326 VMCS_WRITE_SEGREG_REALMODE(g->dcb_cap, FS, M.x86.R_FS);
331 VMCS_WRITE_SEGREG_REALMODE(g->dcb_cap, GS, M.x86.R_GS);
336 VMCS_WRITE_SEGREG_REALMODE(g->dcb_cap, SS, M.x86.R_SS);
/barrelfish-master/usr/vmkitmon/
H A Dvmx.h45 #define VMCS_WRITE_SEGREG_REALMODE(dcb_cap,reg,selector) \ macro
H A Drealmode.c311 VMCS_WRITE_SEGREG_REALMODE(g->dcb_cap, CS, M.x86.R_CS);
316 VMCS_WRITE_SEGREG_REALMODE(g->dcb_cap, DS, M.x86.R_DS);
321 VMCS_WRITE_SEGREG_REALMODE(g->dcb_cap, ES, M.x86.R_ES);
326 VMCS_WRITE_SEGREG_REALMODE(g->dcb_cap, FS, M.x86.R_FS);
331 VMCS_WRITE_SEGREG_REALMODE(g->dcb_cap, GS, M.x86.R_GS);
336 VMCS_WRITE_SEGREG_REALMODE(g->dcb_cap, SS, M.x86.R_SS);

Completed in 34 milliseconds