Commit c73ae4d4 authored by Charlie Jacobsen's avatar Charlie Jacobsen Committed by Vikram Narayanan

Removed utcb from arch-indep lcd.

Changed to use macro accessor in lcd_arch. I think
this is less confusing and less bug prone. So,
to access lcd's utcb, do:

struct lcd_utcb *utcb;
utcb = LCD_ARCH_GET_UTCB(vcpu);
parent fa05c7bf
......@@ -277,6 +277,12 @@ int lcd_arch_set_gva_root(struct lcd_arch *vcpu, u64 gpa);
*/
#define LCD_ARCH_GET_SYSCALL_NUM(vcpu) (vcpu->regs[LCD_ARCH_REGS_RAX])
/*
* Accessor Macro for utcb
* =======================
*/
#define LCD_ARCH_GET_UTCB(vcpu) (vcpu->utcb);
/*
* Accessor Macros for IPC
* =======================
......
......@@ -2,19 +2,12 @@
#define LCD_DOMAINS_LCD_DOMAINS_H
#include <asm/lcd-domains-arch.h>
#include <lcd-domains/utcb.h>
struct lcd {
/*
* Arch-dependent state of lcd
*/
struct lcd_arch *lcd_arch;
/*
* User thread control block. This is the data accessible
* inside the lcd (ipc registers, ...). Points to memory allocated by
* arch-dep code (inside struct lcd_arch).
*/
struct lcd_utcb *utcb;
/*
* Guest virtual paging.
*/
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment