Lines Matching refs:addr
62 uint64_t addr;
64 addr = vtophys(region);
65 __asm __volatile("vmxon %[addr];"
68 : [addr] "m" (*(uint64_t *)&addr)
79 uint64_t addr;
81 addr = vtophys(vmcs);
82 __asm __volatile("vmclear %[addr];"
85 : [addr] "m" (*(uint64_t *)&addr)
98 vmptrst(uint64_t *addr)
101 __asm __volatile("vmptrst %[addr]" :: [addr]"m" (*addr) : "memory");
108 uint64_t addr;
110 addr = vtophys(vmcs);
111 __asm __volatile("vmptrld %[addr];"
114 : [addr] "m" (*(uint64_t *)&addr)
134 vmread(uint64_t r, uint64_t *addr)
138 __asm __volatile("vmread %[r], %[addr];"
141 : [r] "r" (r), [addr] "m" (*addr)