hv: coding style: refine mmu.c

1) Separate ASM and C code inserts as pure procedures with a defined interface.
2) Fix procedure has more than one exit point.

Tracked-On: #861
Signed-off-by: Li, Fei1 <fei1.li@intel.com>
This commit is contained in:
Li, Fei1 2018-12-19 06:15:56 +08:00 committed by wenlingz
parent 2fefff34a7
commit 38c117841f
2 changed files with 51 additions and 31 deletions

View File

@ -329,24 +329,22 @@ static inline bool cpu_has_vmx_unrestricted_guest_cap(void)
static int32_t check_vmx_mmu_cap(void)
{
int32_t ret = 0;
if (!cpu_has_vmx_ept_cap(VMX_EPT_INVEPT)) {
pr_fatal("%s, invept not supported\n", __func__);
return -ENODEV;
}
if (!cpu_has_vmx_vpid_cap(VMX_VPID_INVVPID) ||
ret = -ENODEV;
} else if (!cpu_has_vmx_vpid_cap(VMX_VPID_INVVPID) ||
!cpu_has_vmx_vpid_cap(VMX_VPID_INVVPID_SINGLE_CONTEXT) ||
!cpu_has_vmx_vpid_cap(VMX_VPID_INVVPID_GLOBAL_CONTEXT)) {
pr_fatal("%s, invvpid not supported\n", __func__);
return -ENODEV;
}
if (!cpu_has_vmx_ept_cap(VMX_EPT_1GB_PAGE)) {
ret = -ENODEV;
} else if (!cpu_has_vmx_ept_cap(VMX_EPT_1GB_PAGE)) {
pr_fatal("%s, ept not support 1GB large page\n", __func__);
return -ENODEV;
ret = -ENODEV;
}
return 0;
return ret;
}

View File

@ -46,50 +46,72 @@ static uint16_t vmx_vpid_nr = VMX_MIN_NR_VPID;
#define INVEPT_TYPE_ALL_CONTEXTS 2UL
#define VMFAIL_INVALID_EPT_VPID \
" jnc 1f\n" \
" mov $1, %0\n" /* CF: error = 1 */ \
" movl $1, (%0)\n" /* CF: error = 1 */ \
" jmp 3f\n" \
"1: jnz 2f\n" \
" mov $2, %0\n" /* ZF: error = 2 */ \
" movl $2, (%0)\n" /* ZF: error = 2 */ \
" jmp 3f\n" \
"2: mov $0, %0\n" \
"2: movl $0, (%0)\n" \
"3:"
struct invvpid_operand {
uint32_t vpid : 16;
uint32_t rsvd1 : 16;
uint32_t rsvd2 : 32;
uint64_t gva;
};
struct invept_desc {
uint64_t eptp;
uint64_t res;
};
static inline void asm_invvpid(const struct invvpid_operand operand, uint64_t type, int32_t *error)
{
asm volatile ("invvpid %1, %2\n"
VMFAIL_INVALID_EPT_VPID
: "+r" (error)
: "m" (operand), "r" (type)
: "memory");
}
/*
* @pre: the combined type and vpid is correct
*/
static inline void local_invvpid(uint64_t type, uint16_t vpid, uint64_t gva)
{
int32_t error = 0;
struct {
uint32_t vpid : 16;
uint32_t rsvd1 : 16;
uint32_t rsvd2 : 32;
uint64_t gva;
} operand = { vpid, 0U, 0U, gva };
const struct invvpid_operand operand = { vpid, 0U, 0U, gva };
asm volatile ("invvpid %1, %2\n"
VMFAIL_INVALID_EPT_VPID
: "=r" (error)
: "m" (operand), "r" (type)
: "memory");
asm_invvpid(operand, type, &error);
ASSERT(error == 0, "invvpid error");
if (error != 0) {
pr_dbg("%s, failed. type = %llu, vpid = %u", __func__, type, vpid);
}
}
static inline void asm_invept(uint64_t type, struct invept_desc desc, int32_t *error)
{
asm volatile ("invept %1, %2\n"
VMFAIL_INVALID_EPT_VPID
: "+r" (error)
: "m" (desc), "r" (type)
: "memory");
}
/*
* @pre: the combined type and EPTP is correct
*/
static inline void local_invept(uint64_t type, struct invept_desc desc)
{
int32_t error = 0;
asm volatile ("invept %1, %2\n"
VMFAIL_INVALID_EPT_VPID
: "=r" (error)
: "m" (desc), "r" (type)
: "memory");
asm_invept(type, desc, &error);
ASSERT(error == 0, "invept error");
if (error != 0) {
pr_dbg("%s, failed. type = %llu, eptp = 0x%llx", __func__, type, desc.eptp);
}
}
uint16_t allocate_vpid(void)