Lines Matching refs:encoding
213 // Reads a component with a specified encoding from the current VMCS
215 errval_t vmread(uintptr_t encoding, lvaddr_t *dest_addr)
217 __asm volatile("vmread %[encoding], %[dest_addr]\n\t"
219 : [encoding] "r" (encoding), [dest_addr] "m" (*dest_addr)
224 // Writes a component with a specifed encoding and value to the current
226 errval_t vmwrite(uintptr_t encoding, uintptr_t value)
228 __asm volatile("vmwrite %[value], %[encoding]\n\t"
230 : [encoding] "r" (encoding), [value] "r" (value)